Lots of changes. Code is mostly annotated. Still lots of breaken stuff though.

[splint.git] / test / sizeoftest.out

diff --git a/test/sizeoftest.out b/test/sizeoftest.out
index e9969c8389beef2984179cc98914961c39c7250a..65c1e94337eba3c20edc934c406d37c29ab8a36d 100644 (file)
--- a/test/sizeoftest.out
+++ b/test/sizeoftest.out
@@ -1,4 +1,6 @@
 
+constraintResolve.c:695 [sizeof.c:9:2]: >> Doing Range CHECK ( 2 )  and ( 2 ) 
+constraintResolve.c:695 [sizeof.c:9:2]: >> Doing Range CHECK ( 3 )  and ( 2 ) 
 sizeof.c: (in function main)
 sizeof.c:6:2: Unresolved constraint:
     Lclint is unable to resolve Requires: :