From 2b403385099f694da55e11e5cc90e41763c8dd7e Mon Sep 17 00:00:00 2001 From: zhixing-xu Date: Tue, 7 Aug 2018 09:44:52 -0400 Subject: [PATCH] Update test.desc --- regression/goto-analyzer/dependence-graph14/test.desc | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/regression/goto-analyzer/dependence-graph14/test.desc b/regression/goto-analyzer/dependence-graph14/test.desc index da93a09d59..bab0c02774 100644 --- a/regression/goto-analyzer/dependence-graph14/test.desc +++ b/regression/goto-analyzer/dependence-graph14/test.desc @@ -4,11 +4,9 @@ main.c activate-multi-line-match ^EXIT=0$ ^SIGNAL=0$ -// Assignment has a data dependency on the assignment of a[2] -\/\/ ([0-9]+).*\n.*a\[\(signed long int\)2\] = 2;(.*\n)*Data dependencies: (\1)\n(.*\n){2,3}.*out = * +\/\/ ([0-9]+).*\n.*a\[\(signed long( long)? int\)2\] = 2;(.*\n)*Data dependencies: (\1)\n(.*\n){2,3}.*out = * -- -// Assignment has no data dependency on the assignment of a[1] -\/\/ ([0-9]+).*\n.*a\[\(signed long int\)1\] = 1;(.*\n)*Data dependencies: (\1)\n(.*\n){2,3}.*out = * +\/\/ ([0-9]+).*\n.*a\[\(signed long( long)? int\)1\] = 1;(.*\n)*Data dependencies: (\1)\n(.*\n){2,3}.*out = * ^warning: ignoring --