aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim
diff options
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 /validation/optim
parentaf3512a6c585c68ba8ef2e19d4e4d8a9830679df (diff)
downloadsparse-dev-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>
Diffstat (limited to 'validation/optim')
-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
*/