aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim
diff options
Diffstat (limited to 'validation/optim')
-rw-r--r--validation/optim/dup-cond0.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/validation/optim/dup-cond0.c b/validation/optim/dup-cond0.c
index 0525250c..26af4385 100644
--- a/validation/optim/dup-cond0.c
+++ b/validation/optim/dup-cond0.c
@@ -8,6 +8,7 @@ static int foo(struct s *s)
return 0;
else if (!s->f)
return 4;
+ return -1;
}
/*