diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2022-12-08 23:21:58 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-01-03 10:29:53 +0100 |
| commit | 32841e7e8480cb16d34f60feda226e4f582c3186 (patch) | |
| tree | 60d866e4fd81c68f950a4ddddc5c912cd589cdf2 /gcc/expr.cc | |
| parent | bfe1ab222a8095b31c29d8f3530268f048fea00f (diff) | |
| download | gcc-32841e7e8480cb16d34f60feda226e4f582c3186.zip gcc-32841e7e8480cb16d34f60feda226e4f582c3186.tar.gz gcc-32841e7e8480cb16d34f60feda226e4f582c3186.tar.bz2 | |
ada: Make Apply_Discriminant_Check.Denotes_Explicit_Dereference more robust
The predicate implements the rules of the language so it needs to cope with
constructs rewritten by the expander, in particular explicit dereferences
that the expander uses liberally for various purposes.
This change makes the detection of rewritten calls more robust and adds the
detection of rewritten return objects.
gcc/ada/
* checks.adb (Apply_Discriminant_Check.Denotes_Explicit_Dereference):
Return false for artificial dereferences generated by the expander.
Diffstat (limited to 'gcc/expr.cc')
0 files changed, 0 insertions, 0 deletions