diff options
| author | Thomas Quinot <quinot@adacore.com> | 2019-07-11 08:01:44 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-11 08:01:44 +0000 |
| commit | e2a2d49440c8f8253d15054b6147810a88a10242 (patch) | |
| tree | 42b0e182aeae952f228472f9de296a94ee768acf /gcc/resource.c | |
| parent | a3d1ca0127cf4ca6bb8d0da5a525d17dfc58cbc9 (diff) | |
| download | gcc-e2a2d49440c8f8253d15054b6147810a88a10242.zip gcc-e2a2d49440c8f8253d15054b6147810a88a10242.tar.gz gcc-e2a2d49440c8f8253d15054b6147810a88a10242.tar.bz2 | |
[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
Diffstat (limited to 'gcc/resource.c')
0 files changed, 0 insertions, 0 deletions