diff options
author | Matthieu Eyraud <eyraud@adacore.com> | 2021-07-07 19:33:25 +0200 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-09-21 15:25:02 +0000 |
commit | 57fb9d3820cd955ba0af1baadb27cd9a756a87c8 (patch) | |
tree | b67de84c27465c6dc4c5324f76c82d9d127b7225 /gcc/tree-ssa-threadbackward.c | |
parent | bd413702ce3106573655490668bdf8dcd6a680c9 (diff) | |
download | gcc-57fb9d3820cd955ba0af1baadb27cd9a756a87c8.zip gcc-57fb9d3820cd955ba0af1baadb27cd9a756a87c8.tar.gz gcc-57fb9d3820cd955ba0af1baadb27cd9a756a87c8.tar.bz2 |
[Ada] SCOs: generate 'P' decisions for [Type_]Invariant pragmas
gcc/ada/
* par_sco.adb (Traverse_One): Add support for pragma Invariant /
Type_Invariant.
Diffstat (limited to 'gcc/tree-ssa-threadbackward.c')
0 files changed, 0 insertions, 0 deletions