summaryrefslogtreecommitdiffstats
path: root/test/Analysis
Commit message (Expand)AuthorAgeFilesLines
* Merging r321933:Hans Wennborg2018-01-161-7/+0
* [analyzer] do not crash with assertion on processing locations of bodyfarmed ...George Karpenkov2018-01-021-4/+5
* [analyzer] Fix zero-initialization of stack VLAs under ObjC ARC.Artem Dergachev2017-12-211-0/+46
* [analyzer] De-duplicate path diagnostics for each exploded graph node.Artem Dergachev2017-12-201-261/+230
* [analyzer] trackNullOrUndefValue: always track through parentheses and casts.Artem Dergachev2017-12-205-329/+594
* [analyzer] trackNullOrUndefValue: track last store to non-variables.Artem Dergachev2017-12-202-2/+21
* [analyzer] Fix a crash during C++17 aggregate construction of base objects.Artem Dergachev2017-12-201-0/+40
* [analyzer] StackAddrEscape: For now, disable the new async escape checks.Artem Dergachev2017-12-122-2/+16
* [analyzer] do not crash on cases where an array subscript is an rvalueGeorge Karpenkov2017-12-051-0/+33
* [analyzer] Don't treat lambda-captures float constexprs as undefinedDevin Coughlin2017-12-041-0/+10
* [analyzer] Fix false negative on post-increment of uninitialized variable.Roman Lebedev2017-11-303-540/+570
* [analyzer] Fix unreachable creating PathDiagnosticLocation with widen-loops=trueDevin Coughlin2017-11-291-0/+72
* [analyzer] pr34766: Fix a crash on explicit std::initializer_list constructor.Artem Dergachev2017-11-271-1/+5
* [analyzer] pr34404: Fix a crash on modeling pointers to indirect members.Artem Dergachev2017-11-271-0/+39
* [analyzer] Teach RetainCountChecker about CoreMedia APIsDevin Coughlin2017-11-251-0/+45
* [Analyzer] Stable iteration on indirect goto LabelDecl's to avoid non-determi...Aleksei Sidorin2017-11-211-0/+96
* [Analyzer] Revert r318750 because incorrect files were added for commit.Aleksei Sidorin2017-11-211-96/+0
* [Analyzer] Non-determinism: stable iteration on indirect goto LabelDecl'sAleksei Sidorin2017-11-211-0/+96
* [analyzer] Diagnose stack leaks via block capturesAlexander Shaposhnikov2017-11-202-0/+212
* [analyzer] ObjCGenerics: Don't warn on cast conversions involving explicit castDevin Coughlin2017-11-131-597/+564
* [analyzer] do not crash when trying to convert an APSInt to an unexpected typeGeorge Karpenkov2017-11-091-0/+7
* [analyzer] assume bitwise arithmetic axiomsGeorge Karpenkov2017-11-091-0/+39
* [analyzer] Fix a crash on logical operators with vectors.Artem Dergachev2017-11-081-0/+28
* [analyzer] pr34779: CStringChecker: Accept non-standard headers.Artem Dergachev2017-11-071-0/+10
* [analyzer] Model correct dispatch_once() 'done' value in BodyFarmDevin Coughlin2017-11-061-240/+754
* [analyzer] do not crash on libcxx03 call_once implementationGeorge Karpenkov2017-11-031-0/+56
* [analyzer] Left shifting a negative value is undefinedGabor Horvath2017-10-301-0/+7
* [analyzer] Use the signature of the primary template for issue hash calculationGabor Horvath2017-10-302-6/+10
* [analyzer] Make issue hash related tests more conciseGabor Horvath2017-10-302-2492/+109
* [analyzer] lock_guard and unique_lock extension for BlockInCriticalSection ch...Gabor Horvath2017-10-301-0/+42
* Add missing expected-no-diagnostics comment to test.Gabor Horvath2017-10-301-0/+1
* [analyzer] Handle ObjC messages conservatively in CallDescriptionGabor Horvath2017-10-301-0/+9
* [analyzer] MisusedMovedObjectChecker: More precise warning messagePeter Szecsi2017-10-281-11/+43
* [analyzer] MisusedMovedObjectChecker: Fix false positive on state-resetting, ...Peter Szecsi2017-10-281-3/+19
* PR35039: Materialize temporary objects before wrapping them in anRichard Smith2017-10-281-27/+54
* [analyzer] LoopUnrolling: check the bitwidth of the used numbers (pr34943)Peter Szecsi2017-10-281-0/+6
* [Analyzer] Remove unnecessary semicolon in analyzer tests.George Karpenkov2017-10-251-1/+1
* [Analyzer] Handle implicit function reference in bodyfarming std::call_onceGeorge Karpenkov2017-10-241-0/+13
* [analyzer] Fix handling of labels in getLValueElementAlexander Shaposhnikov2017-10-231-0/+5
* [Analyzer] Correctly handle parameters passed by reference when bodyfarming s...George Karpenkov2017-10-201-0/+41
* [analyzer] Dump signed integers in SymIntExpr and IntSymExpr correctlyGabor Horvath2017-10-191-0/+1
* [Analyzer] Always use non-reference types when creating expressions in BodyFarm.George Karpenkov2017-10-171-1/+1
* [Sema] Re-land: Diagnose tautological comparison with type's min/max valuesRoman Lebedev2017-10-152-3/+3
* [analyzer] pr28449: Fix support for various array initializers.Artem Dergachev2017-10-132-0/+18
* [analyzer] CStringChecker: pr34460: Avoid a crash when a cast is not modeled.Artem Dergachev2017-10-132-0/+67
* [analyzer] RetainCount: Ignore annotations on user-made CFRetain wrappers.Artem Dergachev2017-10-131-0/+72
* [Analyzer] Assume that CFBooleanRef const globals are non-nullGeorge Karpenkov2017-10-131-1/+14
* Revert "[Sema] Diagnose tautological comparison with type's min/max values"Roman Lebedev2017-10-122-3/+3
* [Analysis] Un-silence -Wtautological-unsigned-zero-compare in null-deref-ps.cRoman Lebedev2017-10-121-2/+2
* [Analysis] Silence -Wtautological-constant-compare in two testsRoman Lebedev2017-10-122-3/+3