git.ipfire.org Git - thirdparty/gcc.git/commit

]> git.ipfire.org Git - thirdparty/gcc.git/commit

projects / thirdparty / gcc.git / commit

author	Thomas Quinot <quinot@adacore.com>
	Thu, 11 Jul 2019 08:01:44 +0000 (08:01 +0000)
committer	Pierre-Marie de Rodat <pmderodat@gcc.gnu.org>
	Thu, 11 Jul 2019 08:01:44 +0000 (08:01 +0000)
commit	e2a2d49440c8f8253d15054b6147810a88a10242
tree	42b0e182aeae952f228472f9de296a94ee768acf	tree \| snapshot
parent	a3d1ca0127cf4ca6bb8d0da5a525d17dfc58cbc9	commit \| 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 \| blame \| history
gcc/ada/sem_prag.adb		diff \| blob \| blame \| history
gcc/testsuite/ChangeLog		diff \| blob \| blame \| history
gcc/testsuite/gnat.dg/scos1.adb	[new file with mode: 0644]	blob

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom