aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2020-11-15 07:33:35 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2020-11-15 20:34:26 +0100
commit27696c8a96012ccd85c714cfa9606129880fa89e (patch)
tree63e88590b1a23a8d5b9656d7b8cfb524aeae1bcd
parentaf3512a6c585c68ba8ef2e19d4e4d8a9830679df (diff)
downloadsparse-27696c8a96012ccd85c714cfa9606129880fa89e.tar.gz
testcase: avoid UNDEF
Reduced testcases (with creduce, of course) often needlessly have undefined variables. Since these are untouched by the simplification code and should not be present in source code, they should be avoided in optimization testcases. So, defines 'x' to some value other than 0. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
-rw-r--r--validation/optim/cse-size.c5
1 files changed, 3 insertions, 2 deletions
diff --git a/validation/optim/cse-size.c b/validation/optim/cse-size.c
index 5b31420c..e1a5d492 100644
--- a/validation/optim/cse-size.c
+++ b/validation/optim/cse-size.c
@@ -1,7 +1,7 @@
static void foo(void)
{
unsigned short p = 0;
- int x;
+ int x = 1;
for (;;)
if (p)
@@ -13,5 +13,6 @@ static void foo(void)
* check-command: test-linearize -Wno-decl $file
*
* check-output-ignore
- * check-output-pattern(2): phi\\.
+ * check-output-pattern(0,1): phi\\.
+ * check-output-excludes: cbr
*/