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

[splint.git] / test / strchr.out

diff --git a/test/strchr.out b/test/strchr.out
index f54bbebeea89879cf68351a34750d19af87dbfe0..628572edfd22a4dcbe8dd35b7e9c266f57dbba3a 100644 (file)
--- a/test/strchr.out
+++ b/test/strchr.out
@@ -1,6 +1,113 @@
 
+constraintResolve.c:695 [../../lib/ansi.h:209:49]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:229:41]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:293:65]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:317:73]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:437:58]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:457:69]: >> Doing Range CHECK ((<parameter 2> ) ) + (( -1 ) ) and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:457:69]: >> Doing Range CHECK ((<parameter 2> ) ) + (( -1 ) ) and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:585:35]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:585:43]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:585:43]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:585:43]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:585:43]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:588:36]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:599:46]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:609:50]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:634:50]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:648:81]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:648:81]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:691:10]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:693:65]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:695:66]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:701:69]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:714:76]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:714:76]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:723:10]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:727:10]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:734:68]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:736:81]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:758:83]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:758:83]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:760:76]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:760:76]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:807:73]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:817:72]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:825:45]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:874:57]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:874:57]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:875:47]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:876:48]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:877:58]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:877:58]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:881:66]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:881:66]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:888:178]: >> Doing Range CHECK MAXREAD ((<parameter 1> ) ) and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:888:178]: >> Doing Range CHECK ( 0 )  and MAXREAD ((<parameter 1> ) )
+constraintResolve.c:695 [../../lib/ansi.h:888:178]: >> Doing Range CHECK MAXREAD ((<parameter 1> ) ) and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:888:178]: >> Doing Range CHECK ( 0 )  and MAXREAD ((<parameter 1> ) )
+constraintResolve.c:695 [../../lib/ansi.h:891:51]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:893:52]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:900:193]: >> Doing Range CHECK MAXREAD ((<parameter 1> ) ) and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:900:193]: >> Doing Range CHECK ( 0 )  and MAXREAD ((<parameter 1> ) )
+constraintResolve.c:695 [../../lib/ansi.h:900:193]: >> Doing Range CHECK MAXREAD ((<parameter 1> ) ) and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:900:193]: >> Doing Range CHECK ( 0 )  and MAXREAD ((<parameter 1> ) )
+constraintResolve.c:695 [../../lib/ansi.h:903:48]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:907:130]: >> Doing Range CHECK MAXREAD ((<parameter 1> ) ) and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:907:130]: >> Doing Range CHECK ( 0 )  and MAXREAD ((<parameter 1> ) )
+constraintResolve.c:695 [../../lib/ansi.h:907:130]: >> Doing Range CHECK MAXREAD ((<parameter 1> ) ) and ( 0 ) 
+constraintResolve.c:695 [../../lib/ansi.h:907:130]: >> Doing Range CHECK ( 0 )  and MAXREAD ((<parameter 1> ) )
+constraintResolve.c:695 [../../lib/ansi.h:945:60]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
 strchr.c: (in function func)
 strchr.c:6:4: Dereference of possibly null pointer c: *c
    strchr.c:5:7: Storage c may become null
+constraintResolve.c:695 [strchr.c:7:2]: >> Doing Range CHECK MAXREAD ((<parameter 1> ) ) and ( 0 ) 
+constraintResolve.c:695 [strchr.c:7:2]: >> Doing Range CHECK ( 0 )  and MAXREAD ((<parameter 1> ) )
+constraintResolve.c:695 [strchr.c:7:2]: >> Doing Range CHECK MAXREAD ((<parameter 1> ) ) and ( 0 ) 
+constraintResolve.c:695 [strchr.c:7:2]: >> Doing Range CHECK ( 0 )  and MAXREAD ((<parameter 1> ) )
+constraintResolve.c:695 [strchr.c:7:2]: >> Doing Range CHECK MAXREAD (("dfdfedfd" @ strchr.c:5:14 ) ) and ( 0 ) 
+constraintResolve.c:695 [strchr.c:7:2]: >> Doing Range CHECK ( 0 )  and MAXREAD (("dfdfedfd" @ strchr.c:5:14 ) )
+constraintResolve.c:695 [strchr.c:7:2]: >> Doing Range CHECK MAXREAD (("dfdfedfd" @ strchr.c:5:14 ) ) and ( 0 ) 
+constraintResolve.c:695 [strchr.c:7:2]: >> Doing Range CHECK ( 0 )  and MAXREAD (("dfdfedfd" @ strchr.c:5:14 ) )
+constraintResolve.c:695 [strchr.c:7:2]: >> Doing Range CHECK MAXREAD (("dfdfedfd" @ strchr.c:5:14 ) ) and ( 0 ) 
+constraintResolve.c:695 [strchr.c:7:2]: >> Doing Range CHECK ( 0 )  and MAXREAD (("dfdfedfd" @ strchr.c:5:14 ) )
+constraintResolve.c:695 [strchr.c:7:2]: >> Doing Range CHECK MAXREAD (("dfdfedfd" @ strchr.c:5:14 ) ) and ( 0 ) 
+constraintResolve.c:695 [strchr.c:7:2]: >> Doing Range CHECK ( 0 )  and MAXREAD (("dfdfedfd" @ strchr.c:5:14 ) )
+constraintResolve.c:695 [strchr.c:7:2]: >> Doing Range CHECK MAXREAD (("dfdfedfd" @ strchr.c:5:14 ) ) and ( 0 ) 
+constraintResolve.c:695 [strchr.c:7:2]: >> Doing Range CHECK ( 0 )  and MAXREAD (("dfdfedfd" @ strchr.c:5:14 ) )
+constraintResolve.c:695 [strchr.c:7:2]: >> Doing Range CHECK ( 0 )  and MAXREAD (("dfdfedfd" @ strchr.c:5:14 ) )
+constraintResolve.c:695 [strchr.c:7:2]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [strchr.c:7:2]: >> Doing Range CHECK MAXREAD (("dfdfedfd" @ strchr.c:5:14 ) ) and ( 0 ) 
+constraintResolve.c:695 [strchr.c:7:2]: >> Doing Range CHECK ( 0 )  and MAXREAD (("dfdfedfd" @ strchr.c:5:14 ) )
+constraintResolve.c:695 [strchr.c:7:2]: >> Doing Range CHECK ( 8 )  and ( 0 ) 
+constraintResolve.c:695 [strchr.c:7:2]: >> Doing Range CHECK ( 0 )  and ( 8 ) 
+constraintResolve.c:695 [strchr.c:7:2]: >> Doing Range CHECK ( 8 )  and ( 0 ) 
+constraintResolve.c:695 [strchr.c:7:2]: >> Doing Range CHECK ( 0 )  and ( 8 ) 
+constraintResolve.c:695 [strchr.c:7:2]: >> Doing Range CHECK ( 8 )  and ( 0 ) 
+constraintResolve.c:695 [strchr.c:7:2]: >> Doing Range CHECK ( 0 )  and ( 8 ) 
+constraintResolve.c:695 [strchr.c:7:2]: >> Doing Range CHECK ( 8 )  and ( 0 ) 
+constraintResolve.c:695 [strchr.c:7:2]: >> Doing Range CHECK ( 0 )  and ( 8 ) 
+constraintResolve.c:695 [strchr.c:18:2]: >> Doing Range CHECK MAXREAD ((<parameter 1> ) ) and ( 0 ) 
+constraintResolve.c:695 [strchr.c:18:2]: >> Doing Range CHECK ( 0 )  and MAXREAD ((<parameter 1> ) )
+constraintResolve.c:695 [strchr.c:18:2]: >> Doing Range CHECK MAXREAD ((<parameter 1> ) ) and ( 0 ) 
+constraintResolve.c:695 [strchr.c:18:2]: >> Doing Range CHECK ( 0 )  and MAXREAD ((<parameter 1> ) )
+constraintResolve.c:695 [strchr.c:18:2]: >> Doing Range CHECK MAXREAD ((line @ strchr.c:13:20 ) ) and ( 0 ) 
+constraintResolve.c:695 [strchr.c:18:2]: >> Doing Range CHECK ( 0 )  and MAXREAD ((line @ strchr.c:13:20 ) )
+constraintResolve.c:695 [strchr.c:18:2]: >> Doing Range CHECK MAXREAD ((line @ strchr.c:13:20 ) ) and ( 0 ) 
+constraintResolve.c:695 [strchr.c:18:2]: >> Doing Range CHECK ( 0 )  and MAXREAD ((line @ strchr.c:13:20 ) )
+constraintResolve.c:695 [strchr.c:18:2]: >> Doing Range CHECK MAXREAD ((line @ strchr.c:13:20 ) ) and ( 0 ) 
+constraintResolve.c:695 [strchr.c:18:2]: >> Doing Range CHECK ( 0 )  and MAXREAD ((line @ strchr.c:13:20 ) )
+constraintResolve.c:695 [strchr.c:18:2]: >> Doing Range CHECK MAXREAD ((line @ strchr.c:13:20 ) ) and ( 0 ) 
+constraintResolve.c:695 [strchr.c:18:2]: >> Doing Range CHECK ( 0 )  and MAXREAD ((line @ strchr.c:13:20 ) )
+constraintResolve.c:695 [strchr.c:18:2]: >> Doing Range CHECK MAXREAD ((line @ strchr.c:13:20 ) ) and ( 0 ) 
+constraintResolve.c:695 [strchr.c:18:2]: >> Doing Range CHECK ( 0 )  and MAXREAD ((line @ strchr.c:13:20 ) )
+constraintResolve.c:695 [strchr.c:18:2]: >> Doing Range CHECK MAXREAD ((line @ strchr.c:13:20 ) ) and ( 0 ) 
+constraintResolve.c:695 [strchr.c:18:2]: >> Doing Range CHECK ( 0 )  and MAXREAD ((line @ strchr.c:13:20 ) )
+constraintResolve.c:695 [strchr.c:18:2]: >> Doing Range CHECK ( 0 )  and MAXREAD ((line @ strchr.c:13:20 ) )
+constraintResolve.c:695 [strchr.c:18:2]: >> Doing Range CHECK ( 0 )  and ( 0 ) 
+constraintResolve.c:695 [strchr.c:18:2]: >> Doing Range CHECK MAXREAD ((line @ strchr.c:13:20 ) ) and ( 0 ) 
+constraintResolve.c:695 [strchr.c:18:2]: >> Doing Range CHECK ( 0 )  and MAXREAD ((line @ strchr.c:13:20 ) )
+constraintResolve.c:695 [strchr.c:18:2]: >> Doing Range CHECK MAXREAD ((line @ strchr.c:13:20 ) ) and ( 0 ) 
+constraintResolve.c:695 [strchr.c:18:2]: >> Doing Range CHECK ( 0 )  and MAXREAD ((line @ strchr.c:13:20 ) )
 
 Finished LCLint checking --- 1 code error found