aboutsummaryrefslogtreecommitdiff
path: root/clang/test/Analysis
AgeCommit message (Expand)AuthorFilesLines
2013-12-09Merging r196599:Bill Wendling1-0/+6
2013-12-09Merging r196593:Bill Wendling3-10/+65
2013-11-20Merging r195174:Bill Wendling1-0/+16
2013-11-17[analyzer] Better modeling of memcpy by the CStringChecker (PR16731).Anton Yartsev2-0/+42
2013-11-15[analyzer] Silence warnings coming from allocators used by std::basic_string.Jordan Rose2-13/+39
2013-11-14[analyzer] Treat MSVC's _wassert as noreturn.Jordan Rose1-0/+8
2013-11-08[analyzer] Add IdenticalExprChecker, to find copy-pasted code.Jordan Rose2-1/+943
2013-11-08[analyzer] Track whether an ObjC for-in loop had zero iterations.Jordan Rose1-6/+131
2013-11-08[analyzer] Specialize "loop executed 0 times" for for-in and for-range loops.Jordan Rose2-22/+22
2013-11-05Fix test that wasn't testing anythingAlp Toker1-1/+1
2013-11-04[analyzer] Track the count of NSOrderedSet similarly to other fast enumerations.Anna Zaks1-0/+15
2013-11-04[analyzer] Suppress warnings coming out of std::basic_string.Anna Zaks3-1/+22
2013-10-31[analyzer] Don't crash when a path goes through a 'delete' destructor call.Jordan Rose1-0/+256
2013-10-28Switch %clang -cc1 tests to %clang_cc1Alp Toker1-1/+1
2013-10-26[analyzer] Don't emit an "Assuming x is <OP> y" if it's not a comparison op.Jordan Rose1-0/+499
2013-10-23[analyzer] Generate a LazyCompoundVal when loading from a union-typed region.Jordan Rose1-2/+59
2013-10-22CFG: Properly print delegating initializer CFG elements.Jordan Rose1-1/+19
2013-10-22Revert r193073 and the attempt to fix it in r193170.Chandler Carruth1-0/+12
2013-10-21Fix to PR8880 (clang dies processing a for loop).Serge Pavlov1-12/+0
2013-10-16[analyzer] Don't draw edges to C++11 in-class member initializers.Jordan Rose1-0/+196
2013-10-07[analyzer] RetainCountChecker: add support for CFAutorelease.Jordan Rose2-556/+1467
2013-10-03[analyzer] Add new debug helper clang_analyzer_warnIfReached.Jordan Rose2-42/+28
2013-10-02[analyzer] Add missing return after function pointer null check.Jordan Rose1-0/+13
2013-09-28Per latest drafting, switch to implementing init-captures as if by declaringRichard Smith1-1/+1
2013-09-28[analyzer] Make inlining decisions based on the callee being variadic.Jordan Rose1-1/+26
2013-09-27Replace -fobjc-default-synthesize-properties with disable-objc-default-synthe...Rafael Espindola4-6/+6
2013-09-25[analyzer] Handle destructors for the argument to C++ 'delete'.Jordan Rose2-0/+170
2013-09-18[analyzer] Don't even try to convert floats to booleans for now.Jordan Rose1-0/+12
2013-09-17[analyzer] Stop tracking the objects with attribute cleanup in the RetainCoun...Anna Zaks1-0/+14
2013-09-16Add error checking to reject neon_vector_type attribute on targets without NEON.Amara Emerson1-1/+1
2013-09-16New message for cases when ownership is taken:Anton Yartsev1-2/+1
2013-09-12PR16054: Slight strengthening for -Wsometimes-uninitialized: if we use aRichard Smith1-8/+50
2013-09-11[analyzer] Handle zeroing constructors for fields of structs with empty bases.Jordan Rose1-0/+24
2013-09-09Fix a crash introduced in r189828.Matt Beaumont-Gay1-0/+5
2013-09-06Avoid double edges when constructing CFGsPavel Labath1-0/+37
2013-09-05[analyzer] Restructure a test filePavel Labath1-708/+707
2013-09-03Add an implicit dtor CFG node just before C++ 'delete' expressions.Jordan Rose1-0/+46
2013-09-02[analyzer] Add very limited support for temporary destructorsPavel Labath2-8/+113
2013-08-30[analyzer] Treat the rvalue of a forward-declared struct as Unknown.Jordan Rose1-1/+9
2013-08-30Sema: avoid reuse of Exprs when synthesizing operator=Pavel Labath1-1/+46
2013-08-29[analyzer] Fix handling of "empty" structs with base classesPavel Labath1-0/+23
2013-08-28[analyzer] Add support for testing the presence of weak functions.Jordan Rose1-0/+117
2013-08-28[analyzer] Assume new returns non-null even under -fno-exceptionsPavel Labath2-126/+44
2013-08-27Make the information about disabled ARCMT/Rewriter/StaticAnalyzer availableRoman Divacky1-0/+2
2013-08-23[analyzer] Refactor conditional expression evaluating codePavel Labath1-0/+12
2013-08-19[analyzer] Add a triple to test/Analysis/cfg.cppJordan Rose1-1/+1
2013-08-19[analyzer] Don't run unreachable code checker on inlined functions.Jordan Rose1-0/+19
2013-08-19[analyzer] Assume that strings are no longer than SIZE_MAX/4.Jordan Rose2-2/+36
2013-08-19Omit arguments of __builtin_object_size from the CFG.Jordan Rose2-1/+34
2013-08-16[analyzer] Merge TextPathDiagnostics and ClangDiagPathDiagConsumer.Jordan Rose3-26/+47