projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a3d1ca0) | patch
[Ada] Fix crash on dynamic predicate when generating SCOs
authorThomas Quinot <quinot@adacore.com>
Thu, 11 Jul 2019 08:01:44 +0000 (08:01 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 11 Jul 2019 08:01:44 +0000 (08:01 +0000)
commite2a2d49440c8f8253d15054b6147810a88a10242
tree42b0e182aeae952f228472f9de296a94ee768acftree
parenta3d1ca0127cf4ca6bb8d0da5a525d17dfc58cbc9commit | diff
[Ada] Fix crash on dynamic predicate when generating SCOs

A 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
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gnat.dg/scos1.adb [new file with mode: 0644] blob