sem_prag.adb
1.1 MB
The source could not be displayed because it is larger than 1 MB.
You can
load it anyway or download it
instead.
-
[Ada] Fix crash on dynamic predicate when generating SCOs · e2a2d494A pragma Check for Dynamic_Predicate does not correspond to any source construct that has a provisionally-disabled SCO. 2019-07-11 Thomas Quinot <quinot@adacore.com> gcc/ada/ * sem_prag.adb (Analyze_Pragma, case pragma Check): Do not call Set_SCO_Pragma_Enabled for the dynamic predicate case. gcc/testsuite/ * gnat.dg/scos1.adb: New testcase. From-SVN: r273384
Thomas Quinot committed