projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a252a47) | patch
[Ada] Simplify conversions from Uint to Char_Code
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 18 Jan 2022 20:18:42 +0000 (21:18 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 9 May 2022 09:27:38 +0000 (09:27 +0000)
commit5c8053df7b7cbb9709aec0f295c4d0b8c7251f7f
tree1663f2f755cb87dc611f5da450eb712f1293a026tree | snapshot
parenta252a471df552cf2c0a688a3472094fe234b7ab6commit | diff
[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.
gcc/ada/par-prag.adb diff | blob | history
gcc/ada/sem_case.adb diff | blob | history
Domain: System / Toolchain;