diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-03-19 00:33:15 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-11-16 20:37:00 +0100 |
| commit | c0428dfe31645d775003a83f66b67ee5d4aa83f6 (patch) | |
| tree | e1c4acb6778487c768415c4f02d6516753aadc31 /linearize.c | |
| parent | 1bd55a66066a2c0ad49237311863d77052f84602 (diff) | |
| download | sparse-dev-c0428dfe31645d775003a83f66b67ee5d4aa83f6.tar.gz | |
fix usage of inlined calls
OP_INLINED_CALL are there only as a sort of annotation
for debugging purpose. It is thus wrong to associate
pseudo's usage to them (even if the pseudo are the arguments
of the function now inlined).
Fix this by removing the use_pseudo() for each arguments.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'linearize.c')
| -rw-r--r-- | linearize.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/linearize.c b/linearize.c index e9cfe7c6..90415d2f 100644 --- a/linearize.c +++ b/linearize.c @@ -1733,7 +1733,7 @@ static pseudo_t linearize_inlined_call(struct entrypoint *ep, struct statement * concat_symbol_list(args->declaration, &ep->syms); FOR_EACH_PTR(args->declaration, sym) { pseudo_t value = linearize_one_symbol(ep, sym); - use_pseudo(insn, value, add_pseudo(&insn->arguments, value)); + add_pseudo(&insn->arguments, value); } END_FOR_EACH_PTR(sym); } |