-
Notifications
You must be signed in to change notification settings - Fork 12.7k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Rollup merge of #86104 - FabianWolff:issue-86085, r=davidtwco
Fix span calculation in format strings This pull request fixes #86085. The ICE described there is due to an error in the span calculation inside format strings, if the format string is the result of a macro invocation: ```rust fn main() { format!(concat!("abc}")); } ``` currently produces: ``` error: invalid format string: unmatched `}` found --> test.rs:2:17 | 2 | format!(concat!("abc}")); | ^ unmatched `}` in format string ``` which is obviously incorrect. This happens because the span of the entire `concat!()` is combined with the _relative_ location of the unmatched `` `}` `` in the _result_ of the macro invocation (i.e. 4). In #86085, this has led to a span that starts or ends in the middle of a multibyte character, but the root cause was the same. This pull request fixes the problem.
- Loading branch information
Showing
5 changed files
with
57 additions
and
1 deletion.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,15 @@ | ||
// If the format string is another macro invocation, rustc would previously | ||
// compute nonsensical spans, such as: | ||
// | ||
// error: invalid format string: unmatched `}` found | ||
// --> test.rs:2:17 | ||
// | | ||
// 2 | format!(concat!("abc}")); | ||
// | ^ unmatched `}` in format string | ||
// | ||
// This test checks that this behavior has been fixed. | ||
|
||
fn main() { | ||
format!(concat!("abc}")); | ||
//~^ ERROR: invalid format string: unmatched `}` found | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,11 @@ | ||
error: invalid format string: unmatched `}` found | ||
--> $DIR/format-concat-span.rs:13:13 | ||
| | ||
LL | format!(concat!("abc}")); | ||
| ^^^^^^^^^^^^^^^ unmatched `}` in format string | ||
| | ||
= note: if you intended to print `}`, you can escape it using `}}` | ||
= note: this error originates in the macro `concat` (in Nightly builds, run with -Z macro-backtrace for more info) | ||
|
||
error: aborting due to previous error | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,6 @@ | ||
// Tests for an ICE with the fuzzed input below. | ||
|
||
fn main ( ) { | ||
format ! ( concat ! ( r#"lJ�.�"# , "r} {}" ) ) ; | ||
//~^ ERROR: invalid format string: unmatched `}` found | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,11 @@ | ||
error: invalid format string: unmatched `}` found | ||
--> $DIR/issue-86085.rs:4:12 | ||
| | ||
LL | format ! ( concat ! ( r#"lJ�.�"# , "r} {}" ) ) ; | ||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unmatched `}` in format string | ||
| | ||
= note: if you intended to print `}`, you can escape it using `}}` | ||
= note: this error originates in the macro `concat` (in Nightly builds, run with -Z macro-backtrace for more info) | ||
|
||
error: aborting due to previous error | ||
|