diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-11-09 14:13:58 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-30 09:16:16 -0500 |
| commit | 9784779754d2861aa1b9c8d94da971f83e383e01 (patch) | |
| tree | 29b80b7503f0fb5fcf80c0be86e04d870e9ab751 /gcc/ada/terminals.c | |
| parent | a442bed36cfbfb739244963f22eaf10320a27ec9 (diff) | |
| download | gcc-9784779754d2861aa1b9c8d94da971f83e383e01.zip gcc-9784779754d2861aa1b9c8d94da971f83e383e01.tar.gz gcc-9784779754d2861aa1b9c8d94da971f83e383e01.tar.bz2 | |
[Ada] Fix folding of comparison operators in GNATprove mode
gcc/ada/
* exp_util.adb (Get_Current_Value_Condition): Don't use current
value tracking in GNATprove mode.
* sem_res.adb (Resolve_Comparison_Op): Remove incomplete
special-casing for folding in GNATprove mode.
Diffstat (limited to 'gcc/ada/terminals.c')
0 files changed, 0 insertions, 0 deletions