projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dae0df6) | patch
[Ada] Fix assertion in GNATprove_Mode
authorBob Duff <duff@adacore.com>
Mon, 21 Jun 2021 11:08:03 +0000 (07:08 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 20 Sep 2021 12:31:30 +0000 (12:31 +0000)
commitb8d31ebcfa99599fb2c213e319aee4c6cf6e4f72
tree7e4f839bbd63dc411661d8e7cb39ff22a2dfde39tree | snapshot
parentdae0df6cd979c71c7ed1c60b9203f2a41b03e20ecommit | diff
[Ada] Fix assertion in GNATprove_Mode

gcc/ada/

* gnat1drv.adb (Gnat1drv): Avoid calling List_Rep_Info in
Generate_SCIL and GNATprove_Mode.
* repinfo.adb (List_Common_Type_Info): Fix comment.
gcc/ada/gnat1drv.adb diff | blob | history
gcc/ada/repinfo.adb diff | blob | history
Domain: System / Toolchain;