diff options
| author | Yannick Moy <moy@adacore.com> | 2018-05-25 09:03:34 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-05-25 09:03:34 +0000 |
| commit | 1f233db3745890d8c9bed07f44a8b078bb2a0ee9 (patch) | |
| tree | 53544bddf4d875bd0013449de2f154126f25f15b /gcc/tsan.c | |
| parent | 0d0cd28165d05981eadc966224dca77b87111b62 (diff) | |
| download | gcc-1f233db3745890d8c9bed07f44a8b078bb2a0ee9.zip gcc-1f233db3745890d8c9bed07f44a8b078bb2a0ee9.tar.gz gcc-1f233db3745890d8c9bed07f44a8b078bb2a0ee9.tar.bz2 | |
[Ada] Fix handling of Loop_Entry for CodePeer/SPARK
When the applicable Assertion_Policy is Ignore for a pragma containing
an occurrence of attribute Loop_Entry, CodePeer and SPARK should still be
able to analyze the corresponding pragma. GNAT frontend was wrongly
translating X'Loop_Entry as X in the AST, as a side-effect of an
optimization only valid for compilation and not for static analysis.
This has no effect on compilation.
2018-05-25 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_prag.adb (Check_Applicable_Policy): Deal specially with CodePeer
and GNATprove modes when applicable policy is Ignore.
From-SVN: r260722
Diffstat (limited to 'gcc/tsan.c')
0 files changed, 0 insertions, 0 deletions