]> andersk Git - splint.git/blobdiff - test/alias.expect
Improved tracking of state change locations. Added +showdeephistory
[splint.git] / test / alias.expect
index 6cbe10b6772c92684a0d64cacd9635cc08d751b6..89df276a91c5f6c2c9bdbc6d0e76926e91993f3e 100644 (file)
@@ -114,7 +114,7 @@ alias5.c:13:3: Possible undocumented modification of p->x through alias p2->x:
                   p2->x++
 alias5.c: (in function incx2)
 alias5.c:22:2: Fresh storage p2 not released before return
-   alias5.c:20:3: Fresh storage p2 allocated
+   alias5.c:20:3: Fresh storage p2 created
 alias5.c: (in function incx3)
 alias5.c:27:3: Only storage p2->x (type int *) not released before assignment:
                   p2->x = p->x
This page took 0.300735 seconds and 4 git commands to generate.