.PHONY: check
-#LCLINT = lclint
+#SPLINT = splint
check:
- $(LCLINT) -exportlocal +arraybounds +arrayboundsread unknownsize.c arrayConstExpr.c
+ $(SPLINT) -exportlocal +bounds unknownsize.c arrayConstExpr.c -expect 1
+ $(SPLINT) -exportlocal +bounds fixedArrayType.c -expect 1
+ $(SPLINT) -exportlocal +bounds initBlock.c -expect 1