]> andersk Git - splint.git/blobdiff - test/funcpointer.out
Simple modification to tests.
[splint.git] / test / funcpointer.out
index 2b88b1d0fc2607cd38aad9cac05873b86c3f66b6..33be7836f2b44f302c2b1f4280316ddc2349bcc0 100644 (file)
@@ -28,8 +28,5 @@ funcpointer.c:48:10: Function (t6) called with 0 args, expects 2
 funcpointer.c:49:10: Function (t6) called with 1 args, expects 2
 funcpointer.c:50:11: Function (t6) called with 1 args, expects 2
 funcpointer.c:50:10: Function ((t6)(3)) called with 0 args, expects 1
-uentry.c:579 [funcpointer.c:54:2]: >> called uentry_getFcnPreconditions on nonfunction f2 t2
-uentry.c:583 [funcpointer.c:54:2]: >> called uentry_getFcnPreconditions on nonfunction f2 t2
-uentry.c:633 [funcpointer.c:54:2]: >> called uentry_getFcnPostconditions on nonfunction f2 t2
 
 Finished LCLint checking --- 18 code errors found, as expected
This page took 0.483453 seconds and 4 git commands to generate.