diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2023-01-30 11:28:55 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-22 10:44:07 +0200 |
| commit | c9de07cd00c814c7147c24825b9bbe4fba18519a (patch) | |
| tree | 11d15f7d17594a2aaf766e35d4c5043e0a74237b | |
| parent | 01b0a60038a91d5607e8f64d18bfa43984255632 (diff) | |
| download | gcc-c9de07cd00c814c7147c24825b9bbe4fba18519a.zip gcc-c9de07cd00c814c7147c24825b9bbe4fba18519a.tar.gz gcc-c9de07cd00c814c7147c24825b9bbe4fba18519a.tar.bz2 | |
ada: Don't pretty-print DEL within expression images
When printing expression images, e.g. for GNATprove counterexamples,
it seems better to print DEL not directly but with its numeric code.
gcc/ada/
* pprint.adb (Expr_Name): Exclude DEL from printable range.
| -rw-r--r-- | gcc/ada/pprint.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/pprint.adb b/gcc/ada/pprint.adb index 8cc9244..526b70f 100644 --- a/gcc/ada/pprint.adb +++ b/gcc/ada/pprint.adb @@ -195,7 +195,7 @@ package body Pprint is declare Char : constant Int := UI_To_Int (Char_Literal_Value (Expr)); begin - if Char in 32 .. 127 then + if Char in 32 .. 126 then return "'" & Character'Val (Char) & "'"; else UI_Image (Char_Literal_Value (Expr)); |