summaryrefslogtreecommitdiff
path: root/test/Analysis
AgeCommit message (Expand)Author
2018-01-16Merging r321933:Hans Wennborg
2018-01-02[analyzer] do not crash with assertion on processing locations of bodyfarmed ...George Karpenkov
2017-12-21[analyzer] Fix zero-initialization of stack VLAs under ObjC ARC.Artem Dergachev
2017-12-20[analyzer] De-duplicate path diagnostics for each exploded graph node.Artem Dergachev
2017-12-20[analyzer] trackNullOrUndefValue: always track through parentheses and casts.Artem Dergachev
2017-12-20[analyzer] trackNullOrUndefValue: track last store to non-variables.Artem Dergachev
2017-12-20[analyzer] Fix a crash during C++17 aggregate construction of base objects.Artem Dergachev
2017-12-12[analyzer] StackAddrEscape: For now, disable the new async escape checks.Artem Dergachev
2017-12-05[analyzer] do not crash on cases where an array subscript is an rvalueGeorge Karpenkov
2017-12-04[analyzer] Don't treat lambda-captures float constexprs as undefinedDevin Coughlin
2017-11-30[analyzer] Fix false negative on post-increment of uninitialized variable.Roman Lebedev
2017-11-29[analyzer] Fix unreachable creating PathDiagnosticLocation with widen-loops=trueDevin Coughlin
2017-11-27[analyzer] pr34766: Fix a crash on explicit std::initializer_list constructor.Artem Dergachev
2017-11-27[analyzer] pr34404: Fix a crash on modeling pointers to indirect members.Artem Dergachev
2017-11-25[analyzer] Teach RetainCountChecker about CoreMedia APIsDevin Coughlin
2017-11-21[Analyzer] Stable iteration on indirect goto LabelDecl's to avoid non-determi...Aleksei Sidorin
2017-11-21[Analyzer] Revert r318750 because incorrect files were added for commit.Aleksei Sidorin
2017-11-21[Analyzer] Non-determinism: stable iteration on indirect goto LabelDecl'sAleksei Sidorin
2017-11-20[analyzer] Diagnose stack leaks via block capturesAlexander Shaposhnikov
2017-11-13[analyzer] ObjCGenerics: Don't warn on cast conversions involving explicit castDevin Coughlin
2017-11-09[analyzer] do not crash when trying to convert an APSInt to an unexpected typeGeorge Karpenkov
2017-11-09[analyzer] assume bitwise arithmetic axiomsGeorge Karpenkov
2017-11-08[analyzer] Fix a crash on logical operators with vectors.Artem Dergachev
2017-11-07[analyzer] pr34779: CStringChecker: Accept non-standard headers.Artem Dergachev
2017-11-06[analyzer] Model correct dispatch_once() 'done' value in BodyFarmDevin Coughlin
2017-11-03[analyzer] do not crash on libcxx03 call_once implementationGeorge Karpenkov
2017-10-30[analyzer] Left shifting a negative value is undefinedGabor Horvath
2017-10-30[analyzer] Use the signature of the primary template for issue hash calculationGabor Horvath
2017-10-30[analyzer] Make issue hash related tests more conciseGabor Horvath
2017-10-30[analyzer] lock_guard and unique_lock extension for BlockInCriticalSection ch...Gabor Horvath
2017-10-30Add missing expected-no-diagnostics comment to test.Gabor Horvath
2017-10-30[analyzer] Handle ObjC messages conservatively in CallDescriptionGabor Horvath
2017-10-28[analyzer] MisusedMovedObjectChecker: More precise warning messagePeter Szecsi
2017-10-28[analyzer] MisusedMovedObjectChecker: Fix false positive on state-resetting, ...Peter Szecsi
2017-10-28PR35039: Materialize temporary objects before wrapping them in anRichard Smith
2017-10-28[analyzer] LoopUnrolling: check the bitwidth of the used numbers (pr34943)Peter Szecsi
2017-10-25[Analyzer] Remove unnecessary semicolon in analyzer tests.George Karpenkov
2017-10-24[Analyzer] Handle implicit function reference in bodyfarming std::call_onceGeorge Karpenkov
2017-10-23[analyzer] Fix handling of labels in getLValueElementAlexander Shaposhnikov
2017-10-20[Analyzer] Correctly handle parameters passed by reference when bodyfarming s...George Karpenkov
2017-10-19[analyzer] Dump signed integers in SymIntExpr and IntSymExpr correctlyGabor Horvath
2017-10-17[Analyzer] Always use non-reference types when creating expressions in BodyFarm.George Karpenkov
2017-10-15[Sema] Re-land: Diagnose tautological comparison with type's min/max valuesRoman Lebedev
2017-10-13[analyzer] pr28449: Fix support for various array initializers.Artem Dergachev
2017-10-13[analyzer] CStringChecker: pr34460: Avoid a crash when a cast is not modeled.Artem Dergachev
2017-10-13[analyzer] RetainCount: Ignore annotations on user-made CFRetain wrappers.Artem Dergachev
2017-10-13[Analyzer] Assume that CFBooleanRef const globals are non-nullGeorge Karpenkov
2017-10-12Revert "[Sema] Diagnose tautological comparison with type's min/max values"Roman Lebedev
2017-10-12[Analysis] Un-silence -Wtautological-unsigned-zero-compare in null-deref-ps.cRoman Lebedev
2017-10-12[Analysis] Silence -Wtautological-constant-compare in two testsRoman Lebedev