]> granicus.if.org Git - clang/commit
[analyzer] Emit an error rather than assert on invalid checker option input
authorKristof Umann <dkszelethus@gmail.com>
Fri, 8 Mar 2019 16:00:42 +0000 (16:00 +0000)
committerKristof Umann <dkszelethus@gmail.com>
Fri, 8 Mar 2019 16:00:42 +0000 (16:00 +0000)
commit2dc981e77f2a9d8b445544f4f9128dd7fdfea382
tree70aeac1d70de7cc7d1ef1894e7535b7db1b8ea9f
parentd05164d447bcfd193eb389ec87723df0e82d070c
[analyzer] Emit an error rather than assert on invalid checker option input

Asserting on invalid input isn't very nice, hence the patch to emit an error
instead.

This is the first of many patches to overhaul the way we handle checker options.

Differential Revision: https://reviews.llvm.org/D57850

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@355704 91177308-0d34-0410-b5e6-96231b3b80d8
14 files changed:
include/clang/Basic/DiagnosticDriverKinds.td
include/clang/StaticAnalyzer/Core/CheckerManager.h
lib/StaticAnalyzer/Checkers/CheckObjCDealloc.cpp
lib/StaticAnalyzer/Checkers/CloneChecker.cpp
lib/StaticAnalyzer/Checkers/MoveChecker.cpp
lib/StaticAnalyzer/Checkers/PaddingChecker.cpp
lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObjectChecker.cpp
lib/StaticAnalyzer/Core/CheckerManager.cpp
test/Analysis/copypaste/suspicious-clones.cpp
test/Analysis/cxx-uninitialized-object-unionlike-constructs.cpp
test/Analysis/outofbound.c
test/Analysis/padding_c.c
test/Analysis/undef-buffers.c
test/Analysis/use-after-move.cpp