noexpand always false.

[splint.git] / test / repexpose.expect

diff --git a/test/repexpose.expect b/test/repexpose.expect
index f0d9fab5a37bc696b3ac8be210c2c857da51c40f..151535f48055c6b0147bc3fe92b3cdbf9a57ea9f 100644 (file)
--- a/test/repexpose.expect
+++ b/test/repexpose.expect
@@ -1,6 +1,6 @@
 
 repexpose.c: (in function abst_create)
-repexpose.c:8:3: Arrow access from possibly null pointer a: a->name
+repexpose.c:8:4: Arrow access from possibly null pointer a: a->name
    repexpose.c:5:12: Storage a may become null
 repexpose.c:13:3: Possible undocumented modification of p->parent through alias
                      a->parent: a->parent = b->parent
@@ -19,7 +19,7 @@ repexpose.c:19:12: Storage *globstring reachable from global is kept (should be
 repexpose.c: (in function abst_name)
 repexpose.c:26:18: Released storage a->name reachable from parameter at return
                       point
-   repexpose.c:26:10: Storage a->name is released
+   repexpose.c:26:10: Storage a->name released
 repexpose.c: (in function abst_parent)
 repexpose.c:45:15: Dependent storage b->parent returned as only: b->parent
 repexpose.c:45:25: Only storage a not released before return
@@ -29,10 +29,10 @@ repexpose.c:51:10: Only storage im->name returned as dependent: (im->name)
 repexpose.c: (in function abst_setIm)
 repexpose.c:57:3: Undocumented modification of a->im: a->im = im
 
-Finished LCLint checking --- 12 code errors found, as expected
+Finished checking --- 12 code warnings, as expected
 
 repexpose.c: (in function abst_create)
-repexpose.c:8:3: Arrow access from possibly null pointer a: a->name
+repexpose.c:8:4: Arrow access from possibly null pointer a: a->name
    repexpose.c:5:12: Storage a may become null
 repexpose.c:13:3: Possible undocumented modification of p->parent through alias
                      a->parent: a->parent = b->parent
@@ -52,7 +52,7 @@ repexpose.c: (in function abst_name)
 repexpose.c:26:10: Function returns reference to parameter a: a->name
 repexpose.c:26:18: Released storage a->name reachable from parameter at return
                       point
-   repexpose.c:26:10: Storage a->name is released
+   repexpose.c:26:10: Storage a->name released
 repexpose.c: (in function abst_aval)
 repexpose.c:37:10: Function returns reference to parameter a: (&(a->val))
 repexpose.c: (in function abst_parent)
@@ -65,10 +65,10 @@ repexpose.c:51:10: Function returns reference to parameter im: (im->name)
 repexpose.c: (in function abst_setIm)
 repexpose.c:57:3: Undocumented modification of a->im: a->im = im
 
-Finished LCLint checking --- 15 code errors found, as expected
+Finished checking --- 15 code warnings, as expected
 
 repexpose.c: (in function abst_create)
-repexpose.c:8:3: Arrow access from possibly null pointer a: a->name
+repexpose.c:8:4: Arrow access from possibly null pointer a: a->name
    repexpose.c:5:12: Storage a may become null
 repexpose.c:10:3: Assignment of mutable parameter p to component of abstract
                      type abst exposes rep: a->parent = p
@@ -102,7 +102,7 @@ repexpose.c:26:10: Function returns reference to parameter a: a->name
 repexpose.c:26:10: Return value exposes rep of abst: a->name
 repexpose.c:26:18: Released storage a->name reachable from parameter at return
                       point
-   repexpose.c:26:10: Storage a->name is released
+   repexpose.c:26:10: Storage a->name released
 repexpose.c: (in function abst_aval)
 repexpose.c:37:10: Function returns reference to parameter a: (&(a->val))
 repexpose.c:37:10: Return value exposes rep of abst: (&(a->val))
@@ -119,6 +119,6 @@ repexpose.c:51:10: Function returns reference to parameter im: (im->name)
 repexpose.c:51:10: Return value exposes rep of immut: (im->name)
 repexpose.c: (in function abst_setIm)
 repexpose.c:57:3: Undocumented modification of a->im: a->im = im
-repexpose.lh:6:16: Variable globstring declared but not defined
+repexpose.lh:5:16: Variable globstring declared but not defined
 
-Finished LCLint checking --- 27 code errors found, as expected
+Finished checking --- 27 code warnings, as expected