ipa-sra: Prevent constructing debug info from wrong argument
authorMartin Jambor <mjambor@suse.cz>
Thu, 2 Jul 2020 12:30:50 +0000 (14:30 +0200)
committerMartin Jambor <mjambor@suse.cz>
Thu, 2 Jul 2020 12:30:50 +0000 (14:30 +0200)
commit053c88093a45f175f446eda009f3312e4e508514
treeabe0b8e0c0bcd95507a10bdafee3ebc0cbfbd2e5
parent1ac9258cca8030745d3c0b8f63186f0adf0ebc27
ipa-sra: Prevent constructing debug info from wrong argument

The mechanism generating debug info for removed parameters did not
adjust index of the argument in the call statement to take into
account extra arguments IPA-SRA might have produced when splitting a
strucutre.  This patch addresses that omission and stops gdb from
showing incorrect value for the removed parameter and says "value
optimized out" instead.  The guality testcase will end up as
UNSUPPORTED in the results which is how Richi told me on IRC we deal
with this.

It is possible to generate debug info to actually show the value of
the removed parameter but so far my approaches to do just that seem
toocontroversial
(https://gcc.gnu.org/pipermail/gcc-patches/2020-May/546705.html), so
before I come up with something better I'd like to push this to master
and the gcc-10 branch in time for the GCC 10.2 release.

gcc/ChangeLog:

2020-07-01  Martin Jambor  <mjambor@suse.cz>

PR debug/95343
* ipa-param-manipulation.c (ipa_param_adjustments::modify_call): Adjust
argument index if necessary.

gcc/testsuite/ChangeLog:

2020-07-01  Martin Jambor  <mjambor@suse.cz>

PR debug/95343
* gcc.dg/guality/pr95343.c: New test.
gcc/ipa-param-manipulation.c
gcc/testsuite/gcc.dg/guality/pr95343.c [new file with mode: 0644]