From b4092913eceb102c52660b5e7dc9f0aefb9eb4f2 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Thu, 9 Jan 2020 09:28:36 +0100 Subject: we still have issues with call stacks --- backend/ForwardMoves.v | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'backend/ForwardMoves.v') diff --git a/backend/ForwardMoves.v b/backend/ForwardMoves.v index e820723c..4cc9d5bc 100644 --- a/backend/ForwardMoves.v +++ b/backend/ForwardMoves.v @@ -252,11 +252,11 @@ Definition apply_instr instr x := | Inop _ | Icond _ _ _ _ | Ijumptable _ _ - | Istore _ _ _ _ _ - | Icall _ _ _ _ _ => Some x + | Istore _ _ _ _ _ => Some x | Iop Omove (src :: nil) dst _ => Some (move src dst x) | Iop _ _ dst _ - | Iload _ _ _ _ dst _=> Some (kill dst x) + | Iload _ _ _ _ dst _ + | Icall _ _ _ dst _ => Some (kill dst x) | Ibuiltin _ _ res _ => Some (kill_builtin_res res x) | Itailcall _ _ _ | Ireturn _ => RB.bot end. -- cgit