diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-11-04 00:59:00 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-27 04:15:51 -0500 |
| commit | cc7c52c1d9c9524e3ee0764808de343127b5e9fc (patch) | |
| tree | 680be8144491670b9d5279e950f55568bc9b91e2 /gcc/ada/make.adb | |
| parent | a2481afdfca17659293d61e613167ec1cd6e1414 (diff) | |
| download | gcc-cc7c52c1d9c9524e3ee0764808de343127b5e9fc.zip gcc-cc7c52c1d9c9524e3ee0764808de343127b5e9fc.tar.gz gcc-cc7c52c1d9c9524e3ee0764808de343127b5e9fc.tar.bz2 | |
[Ada] Restore general case for folding comparison of static strings
gcc/ada/
* exp_ch4.adb (Rewrite_Comparison): Add assertion to confirm
that evaluation folds comparisons with static operands; when
folding comparison with non-static operands, the resulting
literal is non-static.
* sem_eval.adb (Eval_Relational_Op): Refactor nested IF
statement for the special case in the THEN branch; move code for
the "general case" out of the ELSE branch.
* sem_res.adb (Resolve_Comparison_Op): Only apply a dubious
special-case for GNATprove in the GNATprove_Mode.
Diffstat (limited to 'gcc/ada/make.adb')
0 files changed, 0 insertions, 0 deletions