8000 gh-135148: Correctly handle f/t strings with comments and debug expressions by pablogsal · Pull Request #135198 · python/cpython · GitHub
[go: up one dir, main page]

Skip to content

gh-135148: Correctly handle f/t strings with comments and debug expressions #135198

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Jul 16, 2025
Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
gh-135148: Correctly handle f/t strings with comments and debug expre…
…ssions
  • Loading branch information
pablogsal committed Jun 6, 2025
commit ef9d22f49f7bc371d2ec6f22c07fbeb1a816a431
6 changes: 6 additions & 0 deletions Lib/test/test_fstring.py
Original file line number Diff line number Diff line change
Expand Up @@ -1651,6 +1651,12 @@ def __repr__(self):
self.assertEqual(f"{1+2 = # my comment
}", '1+2 = \n 3')

self.assertEqual(f'{""" # booo
"""=}', '""" # booo\n """=\' # booo\\n \'')

self.assertEqual(f'{" # nooo "=}', '" # nooo "=\' # nooo \'')
self.assertEqual(f'{" \" # nooo \" "=}', '" \\" # nooo \\" "=\' " # nooo " \'')

# These next lines contains tabs. Backslash escapes don't
# work in f-strings.
# patchcheck doesn't like these tabs. So the only way to test
Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
Fixed a bug where f-string debug expressions (using =) would incorrectly
strip out parts of strings containing escaped quotes and # characters. Patch
by Pablo Galindo.
85 changes: 72 additions & 13 deletions Parser/lexer/lexer.c
Original file line number Diff line number Diff line change
Expand Up @@ -123,35 +123,96 @@ set_ftstring_expr(struct tok_state* tok, struct token *token, char c) {

// Check if there is a # character in the expression
int hash_detected = 0;
int in_string = 0;
char string_quote = 0;
for (Py_ssize_t i = 0; i < tok_mode->last_expr_size - tok_mode->last_expr_end; i++) {
if (tok_mode->last_expr_buffer[i] == '#') {
char ch = tok_mode->last_expr_buffer[i];
if (ch == '\\' && i + 1 < tok_mode->last_expr_size - tok_mode->last_expr_end) {
// Skip the next character if it's an escape sequence
i++;
continue;
}
if (ch == '"' || ch == '\'') {
if (!in_string) {
in_string = 1;
string_quote = ch;
} else if (ch == string_quote) {
// Check for triple quotes
if (i > 0 && tok_mode->last_expr_buffer[i-1] == ch &&
i > 1 && tok_mode->last_expr_buffer[i-2] == ch) {
// Skip the rest of the triple quote
i += 2;
}
in_string = 0;
}
} else if (ch == '#' && !in_string) {
hash_detected = 1;
break;
}
}

// If we found a # character in the expression, we need to handle comments
if (hash_detected) {
// Calculate length of input we need to process
Py_ssize_t input_length = tok_mode->last_expr_size - tok_mode->last_expr_end;

// Allocate buffer for processed result, with room for null terminator
char *result = (char *)PyMem_Malloc((input_length + 1) * sizeof(char));
if (!result) {
return -1;
}

Py_ssize_t i = 0;
Py_ssize_t j = 0;
// Initialize counters and state
Py_ssize_t i = 0; // Input position
Py_ssize_t j = 0; // Output position
in_string = 0; // Whether we're currently inside a string
string_quote = 0; // The quote character for current string (' or ")

// Process each character of input
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@lysnikolaou please read this carefully. I am mostly sure its correct but it really needs some extra eyes

for (i = 0, j = 0; i < input_length; i++) {
if (tok_mode->last_expr_buffer[i] == '#') {
// Skip characters until newline or end of string
char ch = tok_mode->last_expr_buffer[i];

// Handle escape sequences - copy both backslash and next char
if (ch == '\\' && i + 1 < input_length) {
result[j++] = ch; // Copy backslash
result[j++] = tok_mode->last_expr_buffer[++i]; // Copy escaped char
continue;
}

// Handle string quotes
if (ch == '"' || ch == '\'') {
if (!in_string) {
// Start of new string
in_string = 1;
string_quote = ch;
} else if (ch == string_quote) {
// Potential end of string - check for triple quotes
if (i > 0 && tok_mode->last_expr_buffer[i-1] == ch &&
i > 1 && tok_mode->last_expr_buffer[i-2] == ch) {
// Found triple quote - copy all three quotes
result[j++] = ch;
result[j++] = ch;
result[j++] = ch;
i += 2; // Skip the other two quotes
continue;
}
// End of regular string
in_string = 0;
}
result[j++] = ch; // Copy the quote character
}
// Handle comments - skip everything until newline
else if (ch == '#' && !in_string) {
while (i < input_length && tok_mode->last_expr_buffer[i] != '\0') {
if (tok_mode->last_expr_buffer[i] == '\n') {
result[j++] = tok_mode->last_expr_buffer[i];
result[j++] = tok_mode->last_expr_buffer[i]; // Keep newline
break;
}
i++;
i++; // Skip comment character
}
} else {
result[j++] = tok_mode->last_expr_buffer[i];
}
// Copy any other character unchanged
else {
result[j++] = ch;
}
}

Expand All @@ -164,11 +225,9 @@ set_ftstring_expr(struct tok_state* tok, struct token *token, char c) {
tok_mode->last_expr_size - tok_mode->last_expr_end,
NULL
);

}


if (!res) {
if (!res) {
return -1;
}
token->metadata = res;
Expand Down
Loading
0