diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2018-06-11 09:17:56 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-06-11 09:17:56 +0000 |
| commit | 270c6b4d6f9300f36cb7e06594d71a62ab59af0a (patch) | |
| tree | 6d417c6a4c0ef588c9135a3fb625a2a35b9d6f52 /gcc/fortran/interface.c | |
| parent | f062a9757ac2d2cf368f1a0d82fedac54ca365fb (diff) | |
| download | gcc-270c6b4d6f9300f36cb7e06594d71a62ab59af0a.zip gcc-270c6b4d6f9300f36cb7e06594d71a62ab59af0a.tar.gz gcc-270c6b4d6f9300f36cb7e06594d71a62ab59af0a.tar.bz2 | |
[Ada] Don't split AND THEN expressions in GNATprove_Mode
Splitting AND THEN expressions in contracts into separate pragma Check
is only useful for compilation when the error message points to a failed
conjunct. For proof it is of no use; for flow analysis it is annoying.
Also, it makes debugging harder. Now it is disabled in GNATprove_Mode.
Compilation is not affected, so no test provided.
2018-06-11 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* sem_ch13.adb (Analyze_Aspect_Specifications): Don't split AND THEN
expressions in Pre/Post contracts while in GNATprove_Mode.
From-SVN: r261411
Diffstat (limited to 'gcc/fortran/interface.c')
0 files changed, 0 insertions, 0 deletions