andersk Git - splint.git/commit

]> andersk Git - splint.git/commit - src/constraint.c

Added (limited) support for implicit annotations.

Code works on shankly with gcc28 has problems other places.

20 files changed:

lib/ansi.h		diff \| blob \| blame \| history
src/Headers/constraint.h		diff \| blob \| blame \| history
src/Headers/constraintExpr.h		diff \| blob \| blame \| history
src/Headers/constraintResolve.h		diff \| blob \| blame \| history
src/Headers/flag_codes.gen		diff \| blob \| blame \| history
src/Headers/herald.h		diff \| blob \| blame \| history
src/Headers/herald.last		diff \| blob \| blame \| history
src/Headers/multiVal.h		diff \| blob \| blame \| history
src/cgrammar.tab.c		diff \| blob \| blame \| history
src/cgrammar.y		diff \| blob \| blame \| history
src/clabstract.c		diff \| blob \| blame \| history
src/constraint.c		diff \| blob \| blame \| history
src/constraintExpr.c		diff \| blob \| blame \| history
src/constraintGeneration.c		diff \| blob \| blame \| history
src/constraintResolve.c		diff \| blob \| blame \| history
src/exprChecks.c		diff \| blob \| blame \| history
src/exprNode.c		diff \| blob \| blame \| history
src/flags.def		diff \| blob \| blame \| history
src/sRef.c		diff \| blob \| blame \| history
src/uentry.c		diff \| blob \| blame \| history

git-cvsimport mirror of splint

This page took 0.073272 seconds and 5 git commands to generate.