X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/e5081f8c08424e4511d50a3b1fc187666c95852c..16c024b587f5ddc115928d5cca7095508aa208d9:/test/tests2.5.expect diff --git a/test/tests2.5.expect b/test/tests2.5.expect index c0ef24c..0217256 100644 --- a/test/tests2.5.expect +++ b/test/tests2.5.expect @@ -42,7 +42,7 @@ immutable.c: (in function immutable_create) immutable.c:7:6: Arrow access from possibly null pointer res: res->x immutable.c:5:19: Storage res may become null immutable.c:8:10: Fresh storage returned as unqualified (should be only): res - immutable.c:5:54: Fresh storage res allocated + immutable.c:5:54: Fresh storage res created Finished checking --- 2 code warnings, as expected