aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/gen_il-fields.ads
diff options
context:
space:
mode:
authorPiotr Trojanek <trojanek@adacore.com>2023-02-07 21:36:36 +0100
committerMarc Poulhiès <poulhies@adacore.com>2023-05-22 10:44:10 +0200
commit55f24dde7b5c87d9ab00e3b268e2080b9bdd1cc9 (patch)
treead1ef609cece2a3057bdcf0e9be36e3c4ea15534 /gcc/ada/gen_il-fields.ads
parent012de9f65cb9e4a6a4bf78aea7634118a74013e4 (diff)
downloadgcc-55f24dde7b5c87d9ab00e3b268e2080b9bdd1cc9.zip
gcc-55f24dde7b5c87d9ab00e3b268e2080b9bdd1cc9.tar.gz
gcc-55f24dde7b5c87d9ab00e3b268e2080b9bdd1cc9.tar.bz2
ada: Further fixes to GNATprove and CodePeer expression pretty-printer
The expression pretty-printer still crashes on several tests, but already gives much better outputs for many previously unsupported constructs. gcc/ada/ * pprint.adb (Expression_Image): Handle several previously unsupported constructs.
Diffstat (limited to 'gcc/ada/gen_il-fields.ads')
0 files changed, 0 insertions, 0 deletions