Bug #108436 typo in ER_IB_MSG_RECOVERY_CHECKPOINT_OUTSIDE_LOG_FILE
Submitted: 8 Sep 2022 16:16 Modified: 9 Sep 2022 3:38
Reporter: Marcelo Altmann (OCA) Email Updates:
Status: Verified Impact on me:
None 
Category:MySQL Server: Errors Severity:S3 (Non-critical)
Version:8.0.30, 5.7.39 OS:Any
Assigned to: CPU Architecture:Any

[8 Sep 2022 16:16] Marcelo Altmann 
Description:
There is a typo in ER_IB_MSG_RECOVERY_CHECKPOINT_OUTSIDE_LOG_FILE

  eng "Found checkpoint LSN %llu in a redo log file %s, but the file represents range of LSN values [%llu, %llu), so the file is corrupted."

the range is is been opened with [ and closed with )

How to repeat:
N/A

Suggested fix:
Open and close the range values with the same group of characters, wither parenthesis or square brackets
[9 Sep 2022 3:38] MySQL Verification Team 
Hello Marcelo,

Thank you for the report and feedback.

regards,
Umesh
[9 Sep 2022 4:39] Laurynas Biveinis 
"[a, b)" could be intentional to denote a half-open range where a belongs to the range but b does not
[15 Apr 8:24] Dyre Tjeldvoll 
Posted by developer:
 
Thank you for your bug report. I have changed the category to Innodb so that Innodb team can review your suggestion.

However, it looks like the error message is displaying what is known as a half-open interval (https://en.wikipedia.org/wiki/Interval_(mathematics)) which is a common way to describe a range [1st element in the range, 1st element outside the range).