]> andersk Git - splint.git/commitdiff
Took 2 temp files out of the repository.
authordrl7x <drl7x>
Wed, 2 Aug 2000 21:30:14 +0000 (21:30 +0000)
committerdrl7x <drl7x>
Wed, 2 Aug 2000 21:30:14 +0000 (21:30 +0000)
test/tests2.5/Makefile~ [deleted file]
test/tests2.5/ull.c~ [deleted file]

diff --git a/test/tests2.5/Makefile~ b/test/tests2.5/Makefile~
deleted file mode 100644 (file)
index 0675ded..0000000
+++ /dev/null
@@ -1,32 +0,0 @@
-.PHONY: boolt testalt booltest boolbad hoof testalt uconstants
-
-LCLINT = lclint
-
-all: testalt boolt uconstants badcomment hoof boolbad booltest
-
-testalt:
-       ${LCLINT} -dump newlint.lcd testalt.c
-
-boolt:
-       ${LCLINT} -expect 1 +partial +booltype pan_bool_t +booltrue PAN_TRUE +boolfalse PAN_FALSE boolt.c
-
-uconstants:
-       ${LCLINT} uconstants.c -expect 2
-
-badcomment:
-       ${LCLINT} badcomment.c -expect 3
-
-hoof:
-       ${LCLINT} hoof.c -expect 1
-       ${LCLINT} hoof.c +ignorequals
-
-ignorecmd:
-       ${LCLINT} +ignorecommand -we
-
-booltest:
-       ${LCLINT} booltest.c -booltype bool -expect 2
-       ${LCLINT} booltest.c -booltype bool +boolint
-       ${LCLINT} booltest.c -booltype bool -predboolint -expect 1
-
-boolbad:
-       ${LCLINT} -weak -booltype BOOLEAN boolbad.c
diff --git a/test/tests2.5/ull.c~ b/test/tests2.5/ull.c~
deleted file mode 100644 (file)
index 7f4295f..0000000
+++ /dev/null
@@ -1,8 +0,0 @@
-typedef unsigned long long pan_unit64_t;
-
-void f () 
-{
-  unsigned long long put = 0xFFFFFULL;
-  pan_unit64_t pt = 0xFFFFFFFFFFFFFULL;
-  pt++;
-}
This page took 0.039794 seconds and 5 git commands to generate.