projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d24e576) | patch
[Ada] Prevent use of an uninitialized AST field with universal integer
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 12 Oct 2021 15:42:05 +0000 (17:42 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 20 Oct 2021 10:17:04 +0000 (10:17 +0000)
commitff2746728050429684bf62729df798189cc1d396
treee78c9b4cacadbdb2380d8abb8d24dd8b39069cc8tree | snapshot
parentd24e5767fe780653d5601b69d981f33e2a62e47ecommit | diff
[Ada] Prevent use of an uninitialized AST field with universal integer

gcc/ada/

* exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Guard
against equality of an uninitialized RM_Size field.
gcc/ada/exp_spark.adb diff | blob | history
Domain: System / Toolchain;