fix renaming of inlined function arguments
commit38139dac18547558282f0b2f978dfe7a5e77f917
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 7 Apr 2016 12:58:08 +0000 (7 14:58 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 7 Apr 2016 13:14:26 +0000 (7 15:14 +0200)
tree0f32a49d0f181dadd5c2745d4dd092342546402a
parent0dea9c898e5d74c52914bc6929d89d4b5123fe84
fix renaming of inlined function arguments

The arguments were already getting renamed with respect to other
declared variables, but they were not considered as declared
variables for the purpose of potential later renamings, including
further renamings of inlined function arguments.

Reported-by: Bruno bodin <bbodin@inf.ed.ac.uk>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
scan.cc
tests/inline10.c [new file with mode: 0644]
tests/inline10.scop [new file with mode: 0644]