]> andersk Git - splint.git/commit
andersk / splint.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eed3d8a) | patch
Apparently splint does not correctly handle the case in which a #defined constant...
authordrl7x <drl7x>
Mon, 1 Jul 2002 08:59:13 +0000 (08:59 +0000)
committerdrl7x <drl7x>
Mon, 1 Jul 2002 08:59:13 +0000 (08:59 +0000)
commit5ca29538dc03edec2ad7043a925ceb4b12c1d950
treefa88125e05b30e2931d000f5159163f3b4e61d3dtree
parenteed3d8ac74494dac37cde47033b0d3ac7890cb2acommit | diff
Apparently splint does not correctly handle the case in which a #defined constant is used in the function constraint unless it's been specified with the constant annotation.

Modified splint to halt and print a message suggesting that the constant annotation be used.
lib/Makefile.am diff | blob | blame | history
lib/Makefile.in diff | blob | blame | history
src/clabstract.c diff | blob | blame | history
test/moreBufferTests2/def.c [new file with mode: 0644] blob
git-cvsimport mirror of splint
This page took 0.058678 seconds and 5 git commands to generate.