]> granicus.if.org Git - clang/commit
For printf format string checking, move the tracking of the data argument index out of
authorTed Kremenek <kremenek@apple.com>
Fri, 26 Feb 2010 19:18:41 +0000 (19:18 +0000)
committerTed Kremenek <kremenek@apple.com>
Fri, 26 Feb 2010 19:18:41 +0000 (19:18 +0000)
commit7f70dc85d5055c19c8003f43a59135de211ad1b9
treed00ab441a40de77aee9b344a971692df998af4b5
parente7c5c93e37ad2db5d1bc0b11a3d67c346c02de8a
For printf format string checking, move the tracking of the data argument index out of
Sema and into analyze_printf::ParseFormatString().  Also use a bitvector to determine
what arguments have been covered (instead of just checking to see if the last argument consumed is the max argument).  This is prep. for support positional arguments (an IEEE extension).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@97248 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/Analyses/PrintfFormatString.h
include/clang/Basic/DiagnosticSemaKinds.td
lib/Analysis/PrintfFormatString.cpp
lib/Sema/SemaChecking.cpp
test/Sema/format-strings.c