diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-01-18 21:18:42 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-09 09:27:38 +0000 |
| commit | 5c8053df7b7cbb9709aec0f295c4d0b8c7251f7f (patch) | |
| tree | 1663f2f755cb87dc611f5da450eb712f1293a026 /gcc/system.h | |
| parent | a252a471df552cf2c0a688a3472094fe234b7ab6 (diff) | |
| download | gcc-5c8053df7b7cbb9709aec0f295c4d0b8c7251f7f.zip gcc-5c8053df7b7cbb9709aec0f295c4d0b8c7251f7f.tar.gz gcc-5c8053df7b7cbb9709aec0f295c4d0b8c7251f7f.tar.bz2 | |
[Ada] Simplify conversions from Uint to Char_Code
Replace "Char_Code (UI_To_Int (...))" with "UI_To_CC (...).
Cleanup related to handling characters in GNATprove counterexamples;
semantics is unaffected.
gcc/ada/
* par-prag.adb (Prag): Simplify conversion of character codes.
* sem_case.adb (Choice_Image): Likewise.
(Lit_Of): Likewise.
Diffstat (limited to 'gcc/system.h')
0 files changed, 0 insertions, 0 deletions