diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2018-07-17 08:06:04 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-07-17 08:06:04 +0000 |
| commit | 5ffc5c55091ba8a2d5290f7a0851c5d484e8ac85 (patch) | |
| tree | a68dd8dd6acbea5a39db1a660cf6a4183f4b0545 /gcc/builtins.c | |
| parent | c70f758353d78fe242253031ab9764c419862ce2 (diff) | |
| download | gcc-5ffc5c55091ba8a2d5290f7a0851c5d484e8ac85.zip gcc-5ffc5c55091ba8a2d5290f7a0851c5d484e8ac85.tar.gz gcc-5ffc5c55091ba8a2d5290f7a0851c5d484e8ac85.tar.bz2 | |
[Ada] Fix Next_Actual when used on calls "inlined for proof"
The GNATprove backend needs to apply antialiasing checks to subprogram
calls that have been rewritten into null statements while "inlining for
proof". This requires the First_Actual/Next_Actual to use the Original_Node
and not the N_Null_Statement that rewriting leaves as a parent.
Only effective in GNATprove mode, so no frontend test provided.
2018-07-17 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* sem_util.adb (Next_Actual): If the parent is a N_Null_Statement,
which happens for inlined calls, then fetch the next actual from the
original AST.
From-SVN: r262773
Diffstat (limited to 'gcc/builtins.c')
0 files changed, 0 insertions, 0 deletions