diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-03-16 13:36:40 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-16 08:42:06 +0000 |
| commit | 7e0c853c6f6a2987ac7616cbfdd52bb41d598bd5 (patch) | |
| tree | c6d072ad511e8dde4d91ec3ef7f6f0bd0e016f72 /gcc/d/expr.cc | |
| parent | 20652c7f22b86d3cd646ecc2227a670f81302509 (diff) | |
| download | gcc-7e0c853c6f6a2987ac7616cbfdd52bb41d598bd5.zip gcc-7e0c853c6f6a2987ac7616cbfdd52bb41d598bd5.tar.gz gcc-7e0c853c6f6a2987ac7616cbfdd52bb41d598bd5.tar.bz2 | |
[Ada] Fix expansion of attribute Loop_Entry wrt value propagation
When expanding attribute Loop_Entry we create constant object
declarations and put them just before the loop. The current values of
variables at the point of Loop_Entry attribute must not be used when
analysing the initialization expressions of these constants, because
they might be different from the values at the loop entry itself.
gcc/ada/
* exp_attr.adb (Expand_Loop_Entry_Attribute): Disable value
propagation when analysing the constant that holds the
Loop_Entry prefix value.
Diffstat (limited to 'gcc/d/expr.cc')
0 files changed, 0 insertions, 0 deletions