aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/load-converted.c
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-02-06 20:28:43 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-02-14 11:41:08 +0100
commit154b19b15cecd661b6498fb7683920c5cf8dd938 (patch)
treeadcdf43176c5e6c99daafc6dcb5d8704d8a53291 /validation/optim/load-converted.c
parentfdd1645dc1a80d76dfffb621cfca778d1ce12d52 (diff)
downloadsparse-dev-154b19b15cecd661b6498fb7683920c5cf8dd938.tar.gz
add testcases for converted loads
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/optim/load-converted.c')
-rw-r--r--validation/optim/load-converted.c15
1 files changed, 15 insertions, 0 deletions
diff --git a/validation/optim/load-converted.c b/validation/optim/load-converted.c
new file mode 100644
index 00000000..010c6bc7
--- /dev/null
+++ b/validation/optim/load-converted.c
@@ -0,0 +1,15 @@
+static int foo(int *p, int i)
+{
+ int a = p[i];
+ int b = p[i];
+ return (a - b);
+}
+
+/*
+ * check-name: load-converted
+ * check-command: test-linearize -Wno-decl $file
+ * check-known-to-fail
+ *
+ * check-output-ignore
+ * check-output-excludes: add\.
+ */