aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation
diff options
Diffstat (limited to 'validation')
-rw-r--r--validation/c99-for-loop.c36
1 files changed, 12 insertions, 24 deletions
diff --git a/validation/c99-for-loop.c b/validation/c99-for-loop.c
index 42246c51..427fde26 100644
--- a/validation/c99-for-loop.c
+++ b/validation/c99-for-loop.c
@@ -1,33 +1,21 @@
-int op(int);
-
-static int good(void)
+int c99(void);
+int c99(void)
{
- __context__(1);
- for (int i = 0; i < 10; i++) {
- if (!op(i)) {
- __context__(-1);
- return 0;
- }
- }
- __context__(-1);
- return 1;
-}
+ int r = -1;
-static int bad(void)
-{
- __context__(1);
for (int i = 0; i < 10; i++) {
- if (!op(i)) {
- __context__(-1);
- return 0;
- }
+ r = i;
}
- return 1;
+
+ return r;
}
+
/*
* check-name: C99 for loop variable declaration
+ * check-command: test-linearize $file
*
- * check-error-start
-c99-for-loop.c:16:12: warning: context imbalance in 'bad' - different lock contexts for basic block
- * check-error-end
+ * check-output-ignore
+ * check-output-contains: phisrc\\.
+ * check-output-contains: phi\\.
+ * check-output-contains: add\\.
*/