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	…
exploration_order	…
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	…
unified-sources	…
z3	…
CFContainers-invalid.c	…
CFContainers.mm	[analyzer] ObjCContainers: Track index values.	2018-12-15 02:06:13 +00:00
CFNumber.c	…
CFRetainRelease_NSAssertionHandler.m	…
CGColorSpace.c	…
CheckNSError.m	…
DeallocMissingRelease.m	…
DeallocUseAfterFreeErrors.m	…
DeleteWithNonVirtualDtor.cpp	…
DynamicTypePropagation.m	…
MPIMock.h	…
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	…
Malloc+NewDelete_intersections.cpp	…
MemRegion.cpp	…
MismatchedDeallocator-checker-test.mm	…
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	…
NSPanel.m	…
NSString.m	…
NSWindow.m	…
NewDelete+MismatchedDeallocator_intersections.cpp	…
NewDelete-atomics.cpp	…
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	…
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	…
NewDeleteLeaks-PR18394.cpp	…
NewDeleteLeaks-PR19102.cpp	…
NoReturn.m	…
OSAtomic_mac.cpp	…
ObjCProperties.m	…
ObjCPropertiesSyntaxChecks.m	…
ObjCRetSigs.m	…
PR2978.m	…
PR3991.m	…
PR7218.c	…
PR9741.cpp	…
PR12905.c	…
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	…
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	…
analyzer-checker-config.c	…
analyzer-config.c	[CTU] Add DisplayCTUProgress analyzer switch	2018-12-07 14:56:02 +00:00
analyzer-display-progress.cpp	…
analyzer-display-progress.m	…
analyzer-enabled-checkers.c	…
analyzer-list-configs.c	Fix test on Windows.	2018-11-03 08:51:27 +00:00
analyzer-stats.c	…
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	…
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	…
array-struct.c	…
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	…
base-init.cpp	…
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	…
block-in-critical-section.m	…
blocks-no-inline.c	[analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default	2018-08-29 20:29:17 +00:00
blocks.m	…
blocks.mm	…
bool-assignment.c	…
bool-increment.cpp	…
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	…
bug_hash_test.m	…
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	…
cast-to-struct.cpp	…
castexpr-callback.c	…
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	…
cfg-indirect-goto-determinism.cpp	…
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	…
cfref_rdar6080742.c	…
check-deserialization.cpp	…
checker-plugins.c	…
chroot.c	…
comparison-implicit-casts.cpp	…
complex-init-list.cpp	…
complex.c	…
compound-literals.c	…
concrete-address.c	…
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	…
crash-trace.c	…
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	…
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	…
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	…
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	…
cxxnewexpr-callback-inline.cpp	…
cxxnewexpr-callback-noinline.cpp	…
dead-stores.c	…
dead-stores.cpp	…
dead-stores.m	…
debug-CallGraph.cpp	Change CallGraph print to show the fully qualified name	2018-12-12 18:11:36 +00:00
default-analyze.m	…
default-diagnostic-visitors.c	…
delayed-template-parsing-crash.cpp	…
delegates.m	…
derived-to-base.cpp	…
designated-initializer.c	…
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	…
div-zero.cpp	…
division-by-zero.c	…
domtest.c	…
dtor-cxx11.cpp	…
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	…
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	…
dynamic_type_check.m	…
edges-new.mm	[Analyzer] Define and use diff_plist in tests, NFC	2018-09-17 10:19:46 +00:00
elementtype.c	…
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	…
exceptions.mm	…
exercise-ps.c	…
explain-svals.c	…
explain-svals.cpp	…
explain-svals.m	…
expr-inspection.c	…
expr-inspection.cpp	[analyzer] pr38668: Do not attempt to cast loaded integers to floats.	2018-12-22 02:06:51 +00:00
fields.c	…
free.c	…
func-mapping-test.cpp	…
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	…
gmalloc.c	…
gtest.cpp	[analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default	2018-08-29 20:29:17 +00:00
hangs.c	…
html-diag-singlefile.c	…
html-diag-singlefile.h	…
html-diags-analyze-headers.c	…
html-diags-analyze-headers.h	…
html-diags-multifile.c	…
html-diags-multifile.h	…
html-diags.c	…
identical-expressions.cpp	…
implicit-ctor-undef-value.cpp	…
index-type.c	[analyzer] Use sufficiently large types for index bounds calculation.	2018-06-28 00:42:11 +00:00
initialization.c	…
initialization.cpp	…
initializer.cpp	Restructure checking for, and warning on, lifetime extension.	2018-07-17 22:24:09 +00:00
initializers-cfg-output.cpp	…
inline-not-supported.c	…
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	…
inline.cpp	[analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default	2018-08-29 20:29:17 +00:00
inline2.c	…
inline3.c	…
inline4.c	…
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	…
keychainAPI.m	[analyzer] Fix the "Zombie Symbols" bug.	2018-11-30 03:27:50 +00:00
kmalloc-linux.c	…
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	…
lambdas.cpp	Invalidate static locals when escaping lambdas	2018-08-10 18:28:04 +00:00
lambdas.mm	…
lifetime-cfg-output.cpp	…
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	…
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	…
live-variables.m	…
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	…
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	…
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	…
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	…
lvalue.cpp	…
malloc-annotations.c	[analyzer][MallocChecker][NFC] Document and reorganize some functions	2018-12-15 18:34:00 +00:00
malloc-custom.c	…
malloc-fnptr-plist.c	…
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	…
malloc-overflow.c	…
malloc-overflow.cpp	…
malloc-overflow2.c	…
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	…
malloc-sizeof.c	…
malloc-sizeof.cpp	…
malloc-three-arg.c	…
malloc.c	[analyzer][MallocChecker][NFC] Document and reorganize some functions	2018-12-15 18:34:00 +00:00
malloc.cpp	…
malloc.m	…
malloc.mm	…
max-nodes-suppress-on-sink.c	…
max-nodes-suppress-on-sink.cpp	…
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	…
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	…
misc-ps-64.m	…
misc-ps-arm.m	…
misc-ps-cxx0x.cpp	…
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	…
misc-ps-region-store-i386.m	…
misc-ps-region-store-x86_64.m	…
misc-ps-region-store.cpp	…
misc-ps-region-store.m	…
misc-ps-region-store.mm	…
misc-ps.c	[analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default	2018-08-29 20:29:17 +00:00
misc-ps.m	…
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	…
model-file.cpp	[Analyzer] Define and use diff_plist in tests, NFC	2018-09-17 10:19:46 +00:00
mpichecker.cpp	…
mpicheckernotes.cpp	…
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	…
new-ctor-null-throw.cpp	…
new-ctor-null.cpp	…
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	…
new-with-exceptions.cpp	…
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	…
nil-receiver-undefined-larger-than-voidptr-ret.m	…
no-exit-cfg.c	…
no-outofbounds.c	…
no-unreachable-dtors.cpp	…
non-diagnosable-assumptions.c	…
nonnull-global-constants.mm	…
nonnull.m	…
nonnullparamchecker-crash.cpp	…
novoidtypecrash.c	…
null-deref-offsets.c	…
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	…
null-deref-ps.c	…
null-deref-static.m	…
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	…
nullability-notes.m	[Analyzer] Define and use diff_plist in tests, NFC	2018-09-17 10:19:46 +00:00
nullability.c	…
nullability.mm	Re-apply r347954 "[analyzer] Nullability: Don't detect post factum violation..."	2018-12-03 21:04:30 +00:00
nullability_nullonly.mm	…
nullptr.cpp	Revert "Add extension to always default-initialize nullptr_t."	2018-12-14 22:41:18 +00:00
number-object-conversion.c	…
number-object-conversion.cpp	…
number-object-conversion.m	…
number-object-conversion.mm	…
objc-arc.m	[Analyzer] Define and use diff_plist in tests, NFC	2018-09-17 10:19:46 +00:00
objc-bool.m	…
objc-boxing.m	…
objc-encode.m	…
objc-for.m	[analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default	2018-08-29 20:29:17 +00:00
objc-message.m	…
objc-method-coverage.m	…
objc-properties.m	…
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	…
objc-subscript.m	…
objc_invalidation.m	…
objcpp-uninitialized-object.mm	[analyzer][UninitializedObjectChecker] Fixed dereferencing	2018-09-14 08:58:21 +00:00
offsetofexpr-callback.c	…
openmp-unsupported.c	…
operator-calls.cpp	…
osobject-retain-release.cpp	[analyzer] Tests quickfix.	2018-12-21 19:40:44 +00:00
out-of-bounds-new.cpp	…
out-of-bounds.c	…
outofbound-notwork.c	…
outofbound.c	…
override-werror.c	…
padding_c.c	…
padding_cpp.cpp	…
padding_inherit.cpp	[analyzer] Allow padding checker to traverse simple class hierarchies	2018-10-30 01:20:37 +00:00
padding_message.cpp	…
plist-diagnostics-template-function.cpp	…
plist-diagnostics-template-record.cpp	…
plist-html-macros.c	…
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	…
pointer-to-member.cpp	Revert "[analyzer] pr38668: Do not attempt to cast loaded values..."	2018-12-20 19:36:06 +00:00
pr4209.m	…
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	…
pr_4164.c	…
properties.m	[analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default	2018-08-29 20:29:17 +00:00
properties.mm	…
pthreadlock.c	…
ptr-arith.c	[analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default	2018-08-29 20:29:17 +00:00
ptr-arith.cpp	…
qt_malloc.cpp	…
range_casts.c	…
rdar-6442306-1.m	…
rdar-6540084.m	…
rdar-6541136-region.c	…
rdar-6562655.m	…
rdar-6600344-nil-receiver-undefined-struct-ret.m	…
rdar-7168531.m	…
redefined_system.c	…
refcnt_naming.m	…
reference.cpp	[analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default	2018-08-29 20:29:17 +00:00
reference.mm	…
region-1.m	…
region-store.c	[analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default	2018-08-29 20:29:17 +00:00
region-store.cpp	…
region_store_overflow.c	[analyzer] Fix offset overflow check in MemRegion	2018-06-13 18:32:19 +00:00
reinterpret-cast.cpp	…
retain-release-arc.m	[analyzer] Process state in checkEndFunction in RetainCountChecker	2018-09-21 20:37:20 +00:00
retain-release-cache-out.m	…
retain-release-cf-audited.m	…
retain-release-cpp-classes.cpp	[analyzer] Fix the "Zombie Symbols" bug.	2018-11-30 03:27:50 +00:00
retain-release-inline.m	…
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	…
retain-release-safe.c	…
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	…
return-stmt-merge.cpp	…
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	…
security-syntax-checks.m	…
self-assign.cpp	[analyzer] Fix the "Zombie Symbols" bug.	2018-11-30 03:27:50 +00:00
self-init.m	…
shallow-mode.m	…
simple-stream-checks.c	[analyzer] Fix the "Zombie Symbols" bug.	2018-11-30 03:27:50 +00:00
sizeofpointer.c	…
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	…
stack-capture-leak-arc.mm	…
stack-capture-leak-no-arc.mm	…
stackaddrleak.c	Fold -Wreturn-stack-address into general initialization lifetime	2018-07-23 21:21:22 +00:00
static_local.m	…
stats.c	…
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	…
string-fail.c	…
string-with-signedness.c	…
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	…
superclass.m	…
sval-dump-int128.c	…
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	…
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	…
taint-generic.c	…
taint-tester.c	…
taint-tester.cpp	…
taint-tester.m	…
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	…
test-include-cpp.h	…
test-include.c	…
test-include.h	…
test-objc-non-nil-return-value-checker.m	…
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	…
this-pointer.cpp	…
traversal-algorithm.mm	…
traversal-begin-end-function.c	…
traversal-path-unification.c	…
trustnonnullchecker_test.m	[analyzer] [quickfix] Temporarily disabling a failing test.	2018-10-04 00:07:45 +00:00
trustnonnullchecker_test.mm	…
undef-buffers.c	…
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	…
uninit-const.cpp	[analyzer] Track non-zero values in ReturnVisitor	2018-08-22 23:17:25 +00:00
uninit-msg-expr.m	…
uninit-ps-rdar6145427.m	…
uninit-sometimes.cpp	…
uninit-vals-union.c	…
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	…
unions.cpp	[analyzer] Fix the "Zombie Symbols" bug.	2018-11-30 03:27:50 +00:00
unix-api.c	…
unix-api.cpp	…
unix-fns.c	[Analyzer] Define and use diff_plist in tests, NFC	2018-09-17 10:19:46 +00:00
unreachable-code-path.c	…
unsupported-types.c	…
unused-ivars.m	…
use-after-move.cpp	[analyzer] MoveChecker: Enable by default as cplusplus.Move.	2018-12-17 06:30:39 +00:00
valist-as-lazycompound.c	…
valist-uninitialized-no-undef.c	…
valist-uninitialized.c	…
valist-unterminated.c	…
variadic-method-types.m	…
vector.m	…
vfork.c	…
virtualcall.cpp	…
virtualcall.h	…
vla.c	…
weak-functions.c	[analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default	2018-08-29 20:29:17 +00:00
yaccignore.c	…
z3-crosscheck.c	[analyzer] fix test case expected warning	2018-06-28 22:08:44 +00:00