maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/clang/test/Analysis
History
Artem Dergachev 02955afbb4 [analyzer] pr38668: Do not attempt to cast loaded integers to floats. 
This patch is a different approach to landing the reverted r349701.

It is expected to have the same object (memory region) treated as if it has
different types in different program points. The correct behavior for
RegionStore when an object is stored as an object of type T1 but loaded as
an object of type T2 is to store the object as if it has type T1 but cast it
to T2 during load.

Note that the cast here is some sort of a "reinterpret_cast" (even in C). For
instance, if you store an integer and load a float, you won't get your integer
represented as a float; instead, you will get garbage.

Admit that we cannot perform the cast and return an unknown value.

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

rdar://problem/45062567

llvm-svn: 349984
 		2018-12-22 02:06:51 +00:00
..
Checkers [analyzer] RunLoopAutoreleaseLeakChecker: Come up with a test for r348822. 2018-12-13 01:30:47 +00:00
Inputs Revert rC349281 '[analyzer][MallocChecker][NFC] Document and reorganize some functions' 2018-12-17 12:07:57 +00:00
copypaste [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
diagnostics Allow direct navigation to static analysis checker documentation through SARIF exports. 2018-12-20 20:20:20 +00:00
engine Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
exploration_order [analyzer] Fix the filename for the exploration_order test. 2018-05-11 20:38:39 +00:00
html_diagnostics/relevant_lines [analyzer] [tests] [quickfix] Make the test more resilient for a non-defaut std configuration 2018-10-03 20:46:50 +00:00
inlining [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
objc Fix typos in clang 2018-04-06 15:14:32 +00:00
unified-sources [analyzer] Enable analysis of WebKit "unified sources". 2018-04-25 21:51:26 +00:00
z3 [Analyzer][Z3] Test fixes for Z3 constraint manager 2018-06-06 06:25:51 +00:00
CFContainers-invalid.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
CFContainers.mm [analyzer] ObjCContainers: Track index values. 2018-12-15 02:06:13 +00:00
CFNumber.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
CFRetainRelease_NSAssertionHandler.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
CGColorSpace.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
CheckNSError.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
DeallocMissingRelease.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
DeallocUseAfterFreeErrors.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
DeleteWithNonVirtualDtor.cpp [analyzer] Add new delete with non-virtual destructor check 2017-09-22 10:16:33 +00:00
DynamicTypePropagation.m [analyzer] Fix a crash when an ObjC object is constructed in AllocaRegion. 2017-06-12 17:59:50 +00:00
MPIMock.h [analyzer] Add checker to verify the correct usage of the MPI API 2016-06-13 03:22:41 +00:00
Malloc+MismatchedDeallocator+NewDelete.cpp Revert rC349281 '[analyzer][MallocChecker][NFC] Document and reorganize some functions' 2018-12-17 12:07:57 +00:00
Malloc+MismatchedDeallocator_intersections.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
Malloc+NewDelete_intersections.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
MemRegion.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
MismatchedDeallocator-checker-test.mm [analyzer] NFC: Run many existing C++ tests with a custom operator new(). 2018-01-24 21:24:10 +00:00
MismatchedDeallocator-path-notes.cpp [analyzer] [NFC] Change the tests by making the version check more resilient 2018-09-11 18:45:15 +00:00
MissingDealloc.m [analyzer] ObjCDealloc: Fix a crash when a class attempts to deallocate a class. 2018-12-15 02:09:02 +00:00
NSContainers.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
NSPanel.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
NSString.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
NSWindow.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
NewDelete+MismatchedDeallocator_intersections.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
NewDelete-atomics.cpp [analyzer] Suppress more MallocChecker positives in smart pointer destructors. 2018-03-21 00:49:47 +00:00
NewDelete-checker-test.cpp Revert rC349281 '[analyzer][MallocChecker][NFC] Document and reorganize some functions' 2018-12-17 12:07:57 +00:00
NewDelete-custom.cpp [analyzer] pr39348: MallocChecker: Realize that sized delete isn't custom delete. 2018-11-01 00:43:35 +00:00
NewDelete-intersections.mm [analyzer] NFC: Run many existing C++ tests with a custom operator new(). 2018-01-24 21:24:10 +00:00
NewDelete-path-notes.cpp Revert rC349281 '[analyzer][MallocChecker][NFC] Document and reorganize some functions' 2018-12-17 12:07:57 +00:00
NewDelete-sized-deallocation.cpp [analyzer] pr39348: MallocChecker: Realize that sized delete isn't custom delete. 2018-11-01 00:43:35 +00:00
NewDelete-variadic.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
NewDeleteLeaks-PR18394.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
NewDeleteLeaks-PR19102.cpp [analyzer] Suppress "this" pointer escape during construction. 2018-01-18 00:44:41 +00:00
NoReturn.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
OSAtomic_mac.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
ObjCProperties.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
ObjCPropertiesSyntaxChecks.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
ObjCRetSigs.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
PR2978.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
PR3991.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
PR7218.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
PR9741.cpp
…
PR12905.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
PR24184.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
PR37855.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
PR38208.c Fix for last commit: adding new test file forgotten. 2018-07-23 10:53:02 +00:00
_Bool-increment-decrement.c [Analyzer] More accurate modeling about the increment operator of the operand with type bool. 2018-03-06 12:29:09 +00:00
additive-folding-range-constraints.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
additive-folding.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
analyzeOneFunction.m Fix typos in clang 2018-04-06 15:14:32 +00:00
analyzer-checker-config.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
analyzer-config.c [CTU] Add DisplayCTUProgress analyzer switch 2018-12-07 14:56:02 +00:00
analyzer-display-progress.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
analyzer-display-progress.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
analyzer-enabled-checkers.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
analyzer-list-configs.c Fix test on Windows. 2018-11-03 08:51:27 +00:00
analyzer-stats.c [analyzer] Prevent AnalyzerStatsChecker from crash 2018-02-21 16:06:56 +00:00
analyzer_test.py [analyzer] [NFC] Introduce separate targets for testing the analyzer: check-clang-analyzer and check-clang-analyzer-z3 2018-08-13 23:12:43 +00:00
arc-zero-init.m [analyzer] Fix zero-initialization of stack VLAs under ObjC ARC. 2017-12-21 18:43:02 +00:00
array-struct-region.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
array-struct-region.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
array-struct.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
asm.cpp [AST, analyzer] Transform rvalue cast outputs to lvalues (fheinous-gnu-extensions) 2018-10-20 22:49:23 +00:00
atomics.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
auto-obj-dtors-cfg-output.cpp [CFG] [analyzer] Simplify lifetime-extended temporary construction contexts. 2018-06-28 00:18:52 +00:00
autoreleasewritechecker_test.m [analyzer] Extend ObjCAutoreleaseWriteChecker to catch block declarations with autoreleasing variables 2018-05-16 22:47:05 +00:00
base-init.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
bitwise-ops.c [analyzer] Fix constraint being dropped when analyzing a program without taint tracking enabled 2018-07-16 13:14:46 +00:00
block-in-critical-section.cpp [analyzer] lock_guard and unique_lock extension for BlockInCriticalSection checker 2017-10-30 10:09:55 +00:00
block-in-critical-section.m Add missing expected-no-diagnostics comment to test. 2017-10-30 09:01:48 +00:00
blocks-no-inline.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
blocks.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
blocks.mm [CFG] Add construction context for simple variable declarations. 2018-02-10 01:55:23 +00:00
bool-assignment.c Revert "[analyzer] Support generating and reasoning over more symbolic constraint types" 2017-07-12 21:43:42 +00:00
bool-increment.cpp [Analyzer] More accurate modeling about the increment operator of the operand with type bool. 2018-03-06 12:29:09 +00:00
bsd-string.c [CStringSyntaxChecker] Check strlcpy sizeof syntax 2018-07-19 21:50:03 +00:00
bstring.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
bstring.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
bug_hash_test.cpp [analyzer] Use the signature of the primary template for issue hash calculation 2017-10-30 12:16:07 +00:00
bug_hash_test.m [analyzer] Make issue hash related tests more concise 2017-10-30 12:02:23 +00:00
builtin-functions.cpp Specify constant context in constant emitter 2018-12-01 08:29:36 +00:00
builtin_signbit.cpp
…
call-invalidation.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
call_once.cpp [analyzer] Do not crash on callback for call_once passed by value 2018-05-16 00:29:13 +00:00
cast-to-struct.cpp [analyzer] Fix crashes in CastToStruct checker for undefined structs 2017-03-07 19:20:48 +00:00
castexpr-callback.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
casts.c [analyzer] pr38668: Do not attempt to cast loaded integers to floats. 2018-12-22 02:06:51 +00:00
casts.cpp [analyzer] pr38668: Do not attempt to cast loaded integers to floats. 2018-12-22 02:06:51 +00:00
casts.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
cfg-indirect-goto-determinism.cpp [Analyzer] Stable iteration on indirect goto LabelDecl's to avoid non-determinism (attempt 2) 2017-11-21 11:27:47 +00:00
cfg-rich-constructors.cpp [CFG] [analyzer] Disable argument construction contexts for variadic functions. 2018-08-29 21:50:52 +00:00
cfg-rich-constructors.mm [CFG] [analyzer] Implement function argument construction contexts. 2018-07-31 20:45:53 +00:00
cfg.cpp [AST, analyzer] Transform rvalue cast outputs to lvalues (fheinous-gnu-extensions) 2018-10-20 22:49:23 +00:00
cfref_PR2519.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
cfref_rdar6080742.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
check-deserialization.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
checker-plugins.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
chroot.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
comparison-implicit-casts.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
complex-init-list.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
complex.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
compound-literals.c [analyzer] pr28449: Fix support for various array initializers. 2017-10-13 20:54:56 +00:00
concrete-address.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
conditional-operator.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
conditional-path-notes.c [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
const-method-call.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
constant-folding.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
constraint_manager_negate_difference.c [Analyzer] Quick Fix for exponential execution time when simpilifying complex additive expressions 2018-07-23 10:50:20 +00:00
conversion.c [analyzer] ConversionChecker: handle floating point 2018-11-16 01:00:55 +00:00
copy-elision.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
coverage.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
crash-trace.c [analyzer] Self-debug: Dump environment frame-by-frame. 2018-02-08 22:24:38 +00:00
cstring-plist.c [analyzer][NFC] Fix some incorrect uses of -analyzer-config options 2018-11-02 15:48:10 +00:00
cstring-ranges.c [analyzer] CStringChecker: Remember to highlight the argument expression range. 2018-07-30 23:44:37 +00:00
cstring-syntax-cxx.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
cstring-syntax.c [CStringSyntaxChecker] Check strlcat sizeof check 2018-09-23 08:30:17 +00:00
ctor.mm [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
ctu-different-triples.cpp [CTU] Add triple/lang mismatch handling 2018-12-07 16:32:43 +00:00
ctu-hdr.h [analyzer][ctu] fix unsortable diagnostics 2018-07-04 14:12:58 +00:00
ctu-main.c [CTU] Add more lit tests and better error handling 2018-12-07 16:05:58 +00:00
ctu-main.cpp [CTU] test/Analysis/ctu-main.cpp Attempt to fix failing windows bot 2018-12-07 17:36:44 +00:00
ctu-unknown-parts-in-triples.cpp [CTU] Add triple/lang mismatch handling 2018-12-07 16:32:43 +00:00
cxx-crashes.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
cxx-for-range-cfg.cpp
…
cxx-for-range.cpp [cxx2a] P0614R1: Support init-statements in range-based for loops. 2018-09-28 18:44:09 +00:00
cxx-method-names.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
cxx-uninitialized-object-inheritance.cpp [analyzer][UninitializedObjectChecker] Correct dynamic type is acquired for record pointees 2018-09-14 09:13:36 +00:00
cxx-uninitialized-object-no-dereference.cpp [analyzer][UninitializedObjectChecker] New flag to turn off dereferencing 2018-08-07 12:55:26 +00:00
cxx-uninitialized-object-notes-as-warnings.cpp [analyzer][UninitializedObjectChecker] New flag to turn off dereferencing 2018-08-07 12:55:26 +00:00
cxx-uninitialized-object-ptr-ref.cpp [analyzer][UninitializedObjectChecker] Uninit regions are only reported once 2018-11-18 11:34:10 +00:00
cxx-uninitialized-object-unionlike-constructs.cpp [analyzer][UninitializedObjectChecker] New flag to ignore records based on it's fields 2018-09-14 10:10:09 +00:00
cxx-uninitialized-object.cpp [analyzer][UninitializedObjectChecker] Fixed dereferencing 2018-09-14 08:58:21 +00:00
cxx11-crashes.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
cxxnewexpr-callback-inline.cpp [analyzer] operator new: Fix callback order for CXXNewExpr. 2018-01-18 00:53:50 +00:00
cxxnewexpr-callback-noinline.cpp [analyzer] operator new: Fix callback order for CXXNewExpr. 2018-01-18 00:53:50 +00:00
dead-stores.c Fix typos in clang 2018-04-06 15:14:32 +00:00
dead-stores.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
dead-stores.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
debug-CallGraph.cpp Change CallGraph print to show the fully qualified name 2018-12-12 18:11:36 +00:00
default-analyze.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
default-diagnostic-visitors.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
delayed-template-parsing-crash.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
delegates.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
derived-to-base.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
designated-initializer.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
disable-all-checks.c [analyzer] Prefer returns values to out-params in CheckerRegistry.cpp 2018-12-15 15:44:05 +00:00
dispatch-once.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
div-zero.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
division-by-zero.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
domtest.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
dtor-cxx11.cpp Remove explicit cfg-temporary-dtors=true 2018-05-04 14:13:14 +00:00
dtor.cpp Revert rC349281 '[analyzer][MallocChecker][NFC] Document and reorganize some functions' 2018-12-17 12:07:57 +00:00
dtors-in-dtor-cfg-output.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
dump_egraph.c [analyzer] [NFC] Test dumping trimmed graph 2018-11-30 02:17:18 +00:00
dump_egraph.cpp [analyzer] Dump stable identifiers for objects under construction. 2018-12-03 22:23:21 +00:00
dynamic-cast.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
dynamic_type_check.m Fix typos in clang 2018-04-06 15:14:32 +00:00
edges-new.mm [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
elementtype.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
end-function-return-stmt.cpp [analyzer] Obtain a ReturnStmt from a CFGAutomaticObjDtor. 2018-08-02 22:31:03 +00:00
enum-cast-out-of-range.cpp [analyzer] INT50-CPP. Do not cast to an out-of-range enumeration checker 2018-11-24 12:24:27 +00:00
enum.cpp [analyzer] Start fixing modeling of bool based types 2017-07-11 00:30:14 +00:00
exceptions.mm Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
exercise-ps.c [analyzer] Fix autodetection of binding types. 2017-10-04 15:59:40 +00:00
explain-svals.c [analyzer] Improve usability of ExprInspectionChecker 2017-03-09 00:01:10 +00:00
explain-svals.cpp [Analyzer] SValBuilder Comparison Rearrangement (with Restrictions and Analyzer Option) 2018-04-11 06:21:12 +00:00
explain-svals.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
expr-inspection.c [analyzer] Self-debug: Dump environment frame-by-frame. 2018-02-08 22:24:38 +00:00
expr-inspection.cpp [analyzer] pr38668: Do not attempt to cast loaded integers to floats. 2018-12-22 02:06:51 +00:00
fields.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
free.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
func-mapping-test.cpp Add Cross Translation Unit support library 2017-09-22 11:11:01 +00:00
func.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
gcdantipatternchecker_test.m [analyzer] Fix GCDAntipatternChecker to only fire when the semaphore is initialized to zero 2018-07-16 20:32:57 +00:00
generics.m [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
global-region-invalidation.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
global_region_invalidation.mm [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
globals.cpp [analyzer] Treat more const variables and fields as known contants. 2018-05-04 20:52:39 +00:00
gmalloc.c [analyzer] Teach the MallocChecker about Glib API for two arguments 2017-04-26 05:33:14 +00:00
gtest.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
hangs.c [analyzer] Improve performance of the SVal simplification mechanism. 2018-05-31 17:22:38 +00:00
html-diag-singlefile.c [Analyzer] Add support for displaying cross-file diagnostic paths in HTML output 2017-08-03 18:12:22 +00:00
html-diag-singlefile.h [Analyzer] Add support for displaying cross-file diagnostic paths in HTML output 2017-08-03 18:12:22 +00:00
html-diags-analyze-headers.c [Analyzer] Add support for displaying cross-file diagnostic paths in HTML output 2017-08-03 18:12:22 +00:00
html-diags-analyze-headers.h [Analyzer] Add support for displaying cross-file diagnostic paths in HTML output 2017-08-03 18:12:22 +00:00
html-diags-multifile.c [Analyzer] Add support for displaying cross-file diagnostic paths in HTML output 2017-08-03 18:12:22 +00:00
html-diags-multifile.h
…
html-diags.c Fixup for r310950: Also remove the new instance of %T from html-diags.c 2017-08-15 19:54:04 +00:00
identical-expressions.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
implicit-ctor-undef-value.cpp [analyzer] UndefinedAssignmentChecker: Better warning message in implicit ctors. 2018-02-27 22:05:55 +00:00
index-type.c [analyzer] Use sufficiently large types for index bounds calculation. 2018-06-28 00:42:11 +00:00
initialization.c [analyzer] const init: handle non-explicit cases more accurately 2018-05-29 14:14:22 +00:00
initialization.cpp [analyzer] const init: handle non-explicit cases more accurately 2018-05-29 14:14:22 +00:00
initializer.cpp Restructure checking for, and warning on, lifetime extension. 2018-07-17 22:24:09 +00:00
initializers-cfg-output.cpp [CFG] Add construction context for constructor initializers. 2018-02-10 02:18:04 +00:00
inline-not-supported.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
inline-plist.c [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
inline-unique-reports.c [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
inline.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
inline.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
inline2.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
inline3.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
inline4.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
inner-pointer.cpp [analyzer] Put llvm.Conventions back in alpha 2018-11-02 16:02:10 +00:00
invalid-a-na-ly-zer-con-fig-value.c [driver] [analyzer] Fix --analyze -Xanalyzer after r349863. 2018-12-21 01:11:21 +00:00
invalid-analyzer-config-value.c [driver] [analyzer] Fix --analyze -Xanalyzer after r349863. 2018-12-21 01:11:21 +00:00
invalidated-iterator.cpp [Analyzer] Iterator Checker - Part 8: Support for assign, clear, insert, emplace and erase operations 2018-09-10 09:07:47 +00:00
iterator-range.cpp [Analyzer] Iterator Checker - Forbid decrements past the begin() and increments past the end() of containers 2018-12-04 10:27:27 +00:00
ivars.m [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
keychainAPI-diagnostic-visitor.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
keychainAPI.m [analyzer] Fix the "Zombie Symbols" bug. 2018-11-30 03:27:50 +00:00
kmalloc-linux.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
lambda-notes.cpp [analyzer] [NFC] Change the tests by making the version check more resilient 2018-09-11 18:45:15 +00:00
lambdas-generalized-capture.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
lambdas.cpp Invalidate static locals when escaping lambdas 2018-08-10 18:28:04 +00:00
lambdas.mm Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
lifetime-cfg-output.cpp [analyzer] Enable cfg-temporary-dtors by default. 2018-03-01 18:53:13 +00:00
lifetime-extension.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
lifetime-extension.mm [CFG] [analyzer] Add construction contexts for returning C++ objects in ObjC++. 2018-07-31 19:46:14 +00:00
lit.local.cfg Output "rule" information in SARIF exports. 2018-11-01 18:57:38 +00:00
live-bindings-test.cpp [analyzer] Fix liveness calculation for C++17 structured bindings 2018-03-31 01:20:06 +00:00
live-stmts.cpp [analyzer] Fix some expressions staying live too long. Add a debug checker. 2018-12-16 23:44:06 +00:00
live-variables.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
live-variables.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
llvm-conventions.cpp Remove the duplicated definition of size_t 2018-11-02 17:00:07 +00:00
localization-aggressive.m [analyzer][NFC] Fix some incorrect uses of -analyzer-config options 2018-11-02 15:48:10 +00:00
localization.m Fix typos in clang 2018-04-06 15:14:32 +00:00
logical-ops.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
loop-block-counts.c [analyzer] Fix the "Zombie Symbols" bug. 2018-11-30 03:27:50 +00:00
loop-unrolling.cpp [Analyzer][Z3] Test fixes for Z3 constraint manager 2018-06-06 06:25:51 +00:00
loop-widening-ignore-static-methods.cpp [analyzer] Avoid querying this-pointers for static-methods. 2018-08-07 23:13:28 +00:00
loop-widening-notes.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
loop-widening-preserve-reference-type.cpp [analyzer] Ensure that loop widening does not invalidate references 2018-06-12 22:22:35 +00:00
loop-widening.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
loopexit-cfg-output.cpp [CFG] Add LoopExit information to CFG 2017-08-19 11:19:16 +00:00
lvalue.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
malloc-annotations.c [analyzer][MallocChecker][NFC] Document and reorganize some functions 2018-12-15 18:34:00 +00:00
malloc-custom.c [NFC] fix trivial typos in comments 2018-01-22 07:44:38 +00:00
malloc-fnptr-plist.c [analyzer] MallocChecker: Fix one more bug category. 2018-02-08 23:28:29 +00:00
malloc-free-after-return.cpp [analyzer] Associate diagnostics created in checkEndFunction with a return statement, if possible 2018-09-21 20:36:41 +00:00
malloc-interprocedural.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
malloc-overflow.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
malloc-overflow.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
malloc-overflow2.c [analyzer] Move zero-size allocation checks to optin.portability. 2017-06-27 11:14:39 +00:00
malloc-plist.c [analyzer] [NFC] Change the tests by making the version check more resilient 2018-09-11 18:45:15 +00:00
malloc-protoype.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
malloc-sizeof.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
malloc-sizeof.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
malloc-three-arg.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
malloc.c [analyzer][MallocChecker][NFC] Document and reorganize some functions 2018-12-15 18:34:00 +00:00
malloc.cpp [analyzer] NFC: Run many existing C++ tests with a custom operator new(). 2018-01-24 21:24:10 +00:00
malloc.m [analyzer] Clarify 'uninitialized function argument' messages 2017-03-08 15:22:24 +00:00
malloc.mm [analyzer] When we fail to evaluate a pointer cast, escape the pointer. 2018-04-19 23:24:32 +00:00
max-nodes-suppress-on-sink.c [analyzer] Further improve suppress-on-sink behavior in incomplete analyses. 2017-07-25 09:25:10 +00:00
max-nodes-suppress-on-sink.cpp [analyzer] Treat throws as sinks for suppress-on-sink purposes. 2017-07-25 09:44:02 +00:00
member-expr.cpp [analyzer] [tests] [quickfix] Make more test more resilient for non-defaut -std. 2018-10-03 22:48:00 +00:00
method-arg-decay.m
…
method-call-intra-p.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
method-call-path-notes.cpp [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
method-call.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
misc-ps-64.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
misc-ps-arm.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
misc-ps-cxx0x.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
misc-ps-eager-assume.m [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
misc-ps-ranges.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
misc-ps-region-store-i386.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
misc-ps-region-store-x86_64.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
misc-ps-region-store.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
misc-ps-region-store.m Fix typos in clang 2018-04-06 15:14:32 +00:00
misc-ps-region-store.mm Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
misc-ps.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
misc-ps.m [analyzer] Clarify 'uninitialized function argument' messages 2017-03-08 15:22:24 +00:00
mismatched-iterator.cpp [analyzer] MoveChecker: Enable by default as cplusplus.Move. 2018-12-17 06:30:39 +00:00
missing-bind-temporary.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
mmap-writeexec.c [analyzer] MmapWriteExecChecker: Add support for mprotect(). 2018-03-09 01:47:24 +00:00
model-file.cpp [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
mpichecker.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
mpicheckernotes.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
new-aligned.cpp [analyzer] Teach CallEvent about C++17 aligned operator new(). 2018-10-15 17:53:18 +00:00
new-ctor-conservative.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
new-ctor-inlined.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
new-ctor-malloc.cpp [analyzer] operator new: Fix path diagnostics around the operator call. 2018-01-18 00:10:21 +00:00
new-ctor-null-throw.cpp [analyzer] Assume that the allocated value is non-null before construction. 2018-01-24 20:32:26 +00:00
new-ctor-null.cpp [analyzer] Assume that the allocated value is non-null before construction. 2018-01-24 20:32:26 +00:00
new-ctor-recursive.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
new-ctor-symbolic.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
new-dynamic-types.cpp [analyzer] Don't crash when dynamic type of a variable is set via placement new. 2018-02-27 20:54:40 +00:00
new-with-exceptions.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
new.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
nil-receiver-undefined-larger-than-voidptr-ret-region.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
nil-receiver-undefined-larger-than-voidptr-ret.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
no-exit-cfg.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
no-outofbounds.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
no-unreachable-dtors.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
non-diagnosable-assumptions.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
nonnull-global-constants.mm [Analyzer] Assume that CFBooleanRef const globals are non-null 2017-10-13 00:51:41 +00:00
nonnull.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
nonnullparamchecker-crash.cpp [analyzer] Explicitly set an -std level for the analyzer test. 2018-03-14 23:50:18 +00:00
novoidtypecrash.c [analyzer] Only attempt to get the value of locations of known type 2018-02-27 19:28:52 +00:00
null-deref-offsets.c [analyzer] Improve subscripting null arrays for catching null dereferences. 2017-04-24 20:55:07 +00:00
null-deref-path-notes.c [analyzer] Do not run visitors until the fixpoint, run only once. 2018-06-26 21:12:08 +00:00
null-deref-path-notes.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
null-deref-path-notes.m [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
null-deref-ps-region.c [analyzer] Improve the modeling of memset(). 2018-05-16 12:37:53 +00:00
null-deref-ps.c [Sema] Re-land: Diagnose tautological comparison with type's min/max values 2017-10-15 20:13:17 +00:00
null-deref-static.m [analyzer] Fix MacOSXAPIChecker fp with static locals seen from nested blocks. 2017-01-25 10:21:45 +00:00
nullability-arc.mm Re-apply r347954 "[analyzer] Nullability: Don't detect post factum violation..." 2018-12-03 21:04:30 +00:00
nullability-no-arc.mm Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
nullability-notes.m [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
nullability.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
nullability.mm Re-apply r347954 "[analyzer] Nullability: Don't detect post factum violation..." 2018-12-03 21:04:30 +00:00
nullability_nullonly.mm Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
nullptr.cpp Revert "Add extension to always default-initialize nullptr_t." 2018-12-14 22:41:18 +00:00
number-object-conversion.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
number-object-conversion.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
number-object-conversion.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
number-object-conversion.mm [analyzer] Don't throw NSNumberObjectConversion warning on object initialization in if-expression 2018-03-02 21:34:24 +00:00
objc-arc.m [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
objc-bool.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
objc-boxing.m [analyzer] Fix leak false positives on stuff put in C++/ObjC initializer lists. 2017-10-05 08:43:32 +00:00
objc-encode.m [analyzer] pr28449: Fix support for various array initializers. 2017-10-13 20:54:56 +00:00
objc-for.m [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
objc-message.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
objc-method-coverage.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
objc-properties.m Fix typos in clang 2018-04-06 15:14:32 +00:00
objc-radar17039661.m [analyzer] Add the type of the leaked object to the diagnostic message 2018-11-30 02:17:44 +00:00
objc-string.mm Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
objc-subscript.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
objc_invalidation.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
objcpp-uninitialized-object.mm [analyzer][UninitializedObjectChecker] Fixed dereferencing 2018-09-14 08:58:21 +00:00
offsetofexpr-callback.c [analyzer] Add missing pre-post-statement callbacks for OffsetOfExpr. 2018-02-10 00:55:49 +00:00
openmp-unsupported.c [Analyzer] Terminate analysis on OpenMP code instead of assertion crash 2017-03-03 16:58:53 +00:00
operator-calls.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
osobject-retain-release.cpp [analyzer] Tests quickfix. 2018-12-21 19:40:44 +00:00
out-of-bounds-new.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
out-of-bounds.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
outofbound-notwork.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
outofbound.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
override-werror.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
padding_c.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
padding_cpp.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
padding_inherit.cpp [analyzer] Allow padding checker to traverse simple class hierarchies 2018-10-30 01:20:37 +00:00
padding_message.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
plist-diagnostics-template-function.cpp [analyzer] Added template argument lists to the Pathdiagnostic output 2018-05-25 13:18:38 +00:00
plist-diagnostics-template-record.cpp [analyzer] Added template argument lists to the Pathdiagnostic output 2018-05-25 13:18:38 +00:00
plist-html-macros.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
plist-macros-with-expansion.cpp [analyzer][PlistMacroExpansion] Part 5.: Support for # and ## 2018-11-30 19:21:35 +00:00
plist-macros.cpp [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
plist-output-alternate.m [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
plist-output.m [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
plist-stats-output.c Revert "Revert "Revert "Revert "[analyzer] Add coverage information to plist output, update tests"""" 2018-09-07 21:58:24 +00:00
pointer-arithmetic.c [analyzer] Implement pointer arithmetic on constants 2017-10-10 11:01:49 +00:00
pointer-to-member.cpp Revert "[analyzer] pr38668: Do not attempt to cast loaded values..." 2018-12-20 19:36:06 +00:00
pr4209.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
pr22954.c [analyzer] Fix the "Zombie Symbols" bug. 2018-11-30 03:27:50 +00:00
pr37802.cpp [analyzer] Fix size_t in tests. 2018-07-17 01:39:25 +00:00
pr_2542_rdar_6793404.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
pr_4164.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
properties.m [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
properties.mm Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
pthreadlock.c [analyzer] PthreadLockChecker: model failed pthread_mutex_destroy() calls. 2017-05-29 14:51:39 +00:00
ptr-arith.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
ptr-arith.cpp [analyzer] Fix crash on modeling of pointer arithmetic 2017-09-25 19:32:33 +00:00
qt_malloc.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
range_casts.c Revert "[analyzer] Support generating and reasoning over more symbolic constraint types" 2017-07-12 21:43:42 +00:00
rdar-6442306-1.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
rdar-6540084.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
rdar-6541136-region.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
rdar-6562655.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
rdar-6600344-nil-receiver-undefined-struct-ret.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
rdar-7168531.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
redefined_system.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
refcnt_naming.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
reference.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
reference.mm Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
region-1.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
region-store.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
region-store.cpp Revert "Revert "[analyzer] Quickfix: do not overflow in calculating offset in RegionManager"" 2018-02-27 00:05:04 +00:00
region_store_overflow.c [analyzer] Fix offset overflow check in MemRegion 2018-06-13 18:32:19 +00:00
reinterpret-cast.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
retain-release-arc.m [analyzer] Process state in checkEndFunction in RetainCountChecker 2018-09-21 20:37:20 +00:00
retain-release-cache-out.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
retain-release-cf-audited.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
retain-release-cpp-classes.cpp [analyzer] Fix the "Zombie Symbols" bug. 2018-11-30 03:27:50 +00:00
retain-release-inline.m [analyzer] Add support for reference counting of parameters on the callee side 2017-08-17 04:19:07 +00:00
retain-release-path-notes.m [analyzer] Add the type of the leaked object to the diagnostic message 2018-11-30 02:17:44 +00:00
retain-release-region-store.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
retain-release-safe.c [analyzer] RetainCount: Accept more "safe" CFRetain wrappers. 2018-04-19 23:00:22 +00:00
retain-release.m [analyzer] RetainCount: Suppress retain detection heuristic on some CM methods. 2018-12-21 00:18:58 +00:00
retain-release.mm [analyzer] CFRetainReleaseChecker: Don't check C++ methods with the same name. 2018-08-29 22:39:20 +00:00
retaincountchecker-compoundregion.m [analyzer] Add the type of the leaked object to the diagnostic message 2018-11-30 02:17:44 +00:00
return-ptr-range.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
return-stmt-merge.cpp [analyzer] Expose return statement from CallExit program point 2018-02-02 02:19:43 +00:00
scopes-cfg-output.cpp [cxx2a] P0614R1: Support init-statements in range-based for loops. 2018-09-28 18:44:09 +00:00
security-syntax-checks-no-emit.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
security-syntax-checks.m [analyzer] Add security checks for bcmp(), bcopy(), bzero(). 2018-05-26 00:04:26 +00:00
self-assign.cpp [analyzer] Fix the "Zombie Symbols" bug. 2018-11-30 03:27:50 +00:00
self-init.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
shallow-mode.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
simple-stream-checks.c [analyzer] Fix the "Zombie Symbols" bug. 2018-11-30 03:27:50 +00:00
sizeofpointer.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
stack-addr-ps.c Fold -Wreturn-stack-address into general initialization lifetime 2018-07-23 21:21:22 +00:00
stack-addr-ps.cpp Fold -Wreturn-stack-address into general initialization lifetime 2018-07-23 21:21:22 +00:00
stack-block-returned.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
stack-capture-leak-arc.mm [analyzer] StackAddrEscape: For now, disable the new async escape checks. 2017-12-12 02:59:09 +00:00
stack-capture-leak-no-arc.mm [analyzer] StackAddrEscape: For now, disable the new async escape checks. 2017-12-12 02:59:09 +00:00
stackaddrleak.c Fold -Wreturn-stack-address into general initialization lifetime 2018-07-23 21:21:22 +00:00
static_local.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
stats.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
std-c-library-functions-inlined.c [analyzer] Promote StdCLibraryFunctionsChecker to the apiModeling category. 2018-10-02 20:50:40 +00:00
std-c-library-functions.c [analyzer] Promote StdCLibraryFunctionsChecker to the apiModeling category. 2018-10-02 20:50:40 +00:00
std-c-library-functions.cpp [analyzer] Promote StdCLibraryFunctionsChecker to the apiModeling category. 2018-10-02 20:50:40 +00:00
stream.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
string-fail.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
string-with-signedness.c [analyzer] pr34779: CStringChecker: Accept non-standard headers. 2017-11-07 10:51:15 +00:00
string.c [analyzer][CStringChecker] evaluate explicit_bzero 2018-12-11 18:57:07 +00:00
string.cpp [analyzer] CStringChecker: Add the forgotten test file. 2018-12-19 21:51:59 +00:00
structured_bindings.cc [analyzer] Don't crash with assertion failure on structured bindings 2018-03-07 22:20:35 +00:00
superclass.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
sval-dump-int128.c Quick fix for rC330605: specify a target arch for test 2018-04-23 16:38:29 +00:00
svalbuilder-float-cast.c [analyzer] pr38668: Do not attempt to cast loaded integers to floats. 2018-12-22 02:06:51 +00:00
svalbuilder-logic.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
svalbuilder-rearrange-comparisons.c lyzer] [HOTFIX!] SValBuilder crash when `aggressive-binary-operation-simplification` enabled 2018-11-30 10:37:44 +00:00
switch-case.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
symbol-reaper.c [analyzer] Fix symbol discovery in nonloc::LocAsInteger values. 2018-10-02 20:48:12 +00:00
taint-diagnostic-visitor.c [analyzer] Add `TaintBugVisitor` to the ArrayBoundV2, DivideZero and VLASize. 2018-05-02 12:11:22 +00:00
taint-generic.c [analyzer] Improves the logic of GenericTaintChecker identifying stdin. 2018-03-05 15:41:15 +00:00
taint-tester.c [analyzer] do not crash when trying to convert an APSInt to an unexpected type 2017-11-09 21:49:38 +00:00
taint-tester.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
taint-tester.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
temp-obj-dtors-cfg-output.cpp Add missing temporary materialization conversion on left-hand side of . 2018-07-27 17:13:18 +00:00
temp-obj-dtors-option.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
templates.cpp [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
temporaries-callback-order.cpp [analyzer] Re-enable lifetime extension for temporaries without destructors. 2018-06-28 00:11:42 +00:00
temporaries.cpp [analyzer] Improve modeling for returning an object from the top frame with RVO. 2018-12-19 23:14:06 +00:00
temporaries.mm [analyzer] Add support for constructors of arguments. 2018-08-15 00:33:55 +00:00
test-after-div-zero.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
test-include-cpp.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
test-include-cpp.h
…
test-include.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
test-include.h
…
test-objc-non-nil-return-value-checker.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
test-separate-retaincount.cpp [analyzer] Hack for backwards compatibility for options for RetainCountChecker. 2018-12-11 01:13:58 +00:00
test-variably-modified-types.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
this-pointer.cpp [analyzer] Do not invalidate the `this` pointer. 2018-04-15 10:34:06 +00:00
traversal-algorithm.mm Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
traversal-begin-end-function.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
traversal-path-unification.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
trustnonnullchecker_test.m [analyzer] [quickfix] Temporarily disabling a failing test. 2018-10-04 00:07:45 +00:00
trustnonnullchecker_test.mm [analyzer] Do not crash in CallEvent.getReturnType() 2018-03-24 01:53:12 +00:00
undef-buffers.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
undef-call.c [Analysis] Properly prepare test env in test/Analysis/undef-call.c 2018-12-03 11:28:17 +00:00
uninit-const.c [analyzer] Fix false negative on post-increment of uninitialized variable. 2017-11-30 09:18:35 +00:00
uninit-const.cpp [analyzer] Track non-zero values in ReturnVisitor 2018-08-22 23:17:25 +00:00
uninit-msg-expr.m [analyzer] Clarify 'uninitialized function argument' messages 2017-03-08 15:22:24 +00:00
uninit-ps-rdar6145427.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
uninit-sometimes.cpp
…
uninit-vals-union.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
uninit-vals.c [analyzer] Improve tracing for uninitialized struct fields 2018-08-29 22:48:50 +00:00
uninit-vals.cpp [analyzer] Improve tracing for uninitialized struct fields 2018-08-29 22:48:50 +00:00
uninit-vals.m [analyzer] Improve tracing for uninitialized struct fields 2018-08-29 22:48:50 +00:00
unions-region.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
unions.cpp [analyzer] Fix the "Zombie Symbols" bug. 2018-11-30 03:27:50 +00:00
unix-api.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
unix-api.cpp Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
unix-fns.c [Analyzer] Define and use diff_plist in tests, NFC 2018-09-17 10:19:46 +00:00
unreachable-code-path.c Teach Wreturn-type, Wunreachable-code, and alpha.deadcode.UnreachableCode to treat __assume(0) like __builtin_unreachable. 2018-02-13 21:31:47 +00:00
unsupported-types.c [analyzer] Add new Z3 constraint manager backend 2017-04-04 19:52:25 +00:00
unused-ivars.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
use-after-move.cpp [analyzer] MoveChecker: Enable by default as cplusplus.Move. 2018-12-17 06:30:39 +00:00
valist-as-lazycompound.c [analyzer] Fix a rare crash for valist check. 2017-03-13 12:48:26 +00:00
valist-uninitialized-no-undef.c [analyzer] Fix a rare crash for valist check. 2017-03-13 12:48:26 +00:00
valist-uninitialized.c [analyzer] Improve valist checks and move it out from alpha state. 2017-03-07 16:04:23 +00:00
valist-unterminated.c [analyzer] Improve valist checks and move it out from alpha state. 2017-03-07 16:04:23 +00:00
variadic-method-types.m Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
vector.m [analyzer] do not crash on cases where an array subscript is an rvalue 2017-12-05 21:19:59 +00:00
vfork.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
virtualcall.cpp [analyzer] Enable c++-allocator-inlining by default. 2018-01-24 20:59:40 +00:00
virtualcall.h [analyzer][GSoC] Re-implemente current virtual calls checker in a path-sensitive way 2017-08-28 08:44:43 +00:00
vla.c Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers 2017-03-03 18:02:02 +00:00
weak-functions.c [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default 2018-08-29 20:29:17 +00:00
yaccignore.c [analyzer] Do not analyze bison-generated files 2018-02-26 22:14:16 +00:00
z3-crosscheck.c [analyzer] fix test case expected warning 2018-06-28 22:08:44 +00:00