noexpand always false.

[splint.git] / test / blocks.expect

diff --git a/test/blocks.expect b/test/blocks.expect
index 20e7897465580386eb56852b3bc24818b547be49..c4fadc900b5c2dcd9e5cdd9b1426ed3072f45bc9 100644 (file)
--- a/test/blocks.expect
+++ b/test/blocks.expect
@@ -12,9 +12,10 @@ blocks.c: (in function f)
 blocks.c:3:15: Body of if statement is empty
 blocks.c:4:10: Suspected infinite loop.  No value used in loop test (x) is
                   modified by test or loop body.
-blocks.c:6:15: Body of if statement is not a block: x++
-blocks.c:16:12: Incomplete else if logic (no final else): if (x == 1) { x = 4 }
-blocks.c:19:8: Body of else clause of if statement is not a block: x = 4
+blocks.c:6:15: Body of if statement is not a block: x++;
+blocks.c:16:12: Incomplete else if logic (no final else): if (x == 1) { x = 4;
+                   }
+blocks.c:19:8: Body of else clause of if statement is not a block: x = 4;
 blocks.c:21:16: Body of if clause of if statement is empty
 blocks.c:22:9: Body of else clause of if statement is empty
 
@@ -24,7 +25,7 @@ blocks.c: (in function f)
 blocks.c:4:18: Body of while statement is empty
 blocks.c:4:10: Suspected infinite loop.  No value used in loop test (x) is
                   modified by test or loop body.
-blocks.c:7:18: Body of while statement is not a block: x++
+blocks.c:7:18: Body of while statement is not a block: x++;
 
 Finished checking --- 3 code warnings, as expected
 
@@ -32,7 +33,7 @@ blocks.c: (in function f)
 blocks.c:4:10: Suspected infinite loop.  No value used in loop test (x) is
                   modified by test or loop body.
 blocks.c:12:23: Body of for statement is empty
-blocks.c:13:23: Body of for statement is not a block: x++
+blocks.c:13:23: Body of for statement is not a block: x++;
 
 Finished checking --- 3 code warnings, as expected
 
@@ -52,12 +53,13 @@ blocks.c:3:15: Body of if statement is empty
 blocks.c:4:18: Body of while statement is empty
 blocks.c:4:10: Suspected infinite loop.  No value used in loop test (x) is
                   modified by test or loop body.
-blocks.c:6:15: Body of if statement is not a block: x++
-blocks.c:7:18: Body of while statement is not a block: x++
+blocks.c:6:15: Body of if statement is not a block: x++;
+blocks.c:7:18: Body of while statement is not a block: x++;
 blocks.c:12:23: Body of for statement is empty
-blocks.c:13:23: Body of for statement is not a block: x++
-blocks.c:16:12: Incomplete else if logic (no final else): if (x == 1) { x = 4 }
-blocks.c:19:8: Body of else clause of if statement is not a block: x = 4
+blocks.c:13:23: Body of for statement is not a block: x++;
+blocks.c:16:12: Incomplete else if logic (no final else): if (x == 1) { x = 4;
+                   }
+blocks.c:19:8: Body of else clause of if statement is not a block: x = 4;
 blocks.c:21:16: Body of if clause of if statement is empty
 blocks.c:22:9: Body of else clause of if statement is empty