aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp
AgeCommit message (Expand)Author
2013-05-01[analyzer] Don't inline the [cd]tors of C++ iterators.Jordan Rose
2013-04-03[analyzer] Better model for copying of array fields in implicit copy ctors.Jordan Rose
2013-04-02[analyzer] For now, don't inline [cd]tors of C++ containers.Jordan Rose
2013-04-02[analyzer] Cache whether a function is generally inlineable.Jordan Rose
2013-03-26[analyzer] Change inlining policy to inline small functions when reanalyzing ...Anna Zaks
2013-03-16[analyzer] Model trivial copy/move assignment operators with a bind as well.Jordan Rose
2013-02-25[analyzer] Address Jordan's code review of r175857.Anna Zaks
2013-02-22[analyzer] Place all inlining policy checks into one palceAnna Zaks
2013-02-21Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie
2013-02-15Re-apply "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose
2013-02-02Revert "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose
2013-02-02[analyzer] Always inline functions with bodies generated by BodyFarm.Anna Zaks
2013-02-01Re-apply "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose
2013-01-31Revert "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose
2013-01-30[analyzer] Use analyzer config for max-inlinable-size option.Anna Zaks
2013-01-30[analyzer] Model trivial copy/move ctors with an aggregate bind.Jordan Rose
2013-01-24[analyzer] Replace "-analyzer-ipa" with "-analyzer-config ipa".Anna Zaks
2013-01-24[analyzer] refactor: access IPAMode through the accessor.Anna Zaks
2013-01-14[analyzer] Add ProgramStatePartialTrait<const void *>.Jordan Rose
2012-12-17[analyzer] Implement "do not inline large functions many times"Anna Zaks
2012-12-07[analyzer] Optimization heuristic: do not reanalyze every ObjC method asAnna Zaks
2012-12-06[analyzer] Use a smarter algorithm to find the last block in an inlined call.Jordan Rose
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth
2012-11-15[analyzer] Report leaks at the closing brace of a function body.Jordan Rose
2012-11-15[analyzer] Mark symbol values as dead in the environment.Jordan Rose
2012-11-13[analyzer] Address Jordan's feedback for r167780.Anna Zaks
2012-11-12[analyzer] Follow up to r167762 - precisely determine the adjustmentAnna Zaks
2012-11-12[analyzer] Fix a regression (from r 165079): compare canonical types.Anna Zaks
2012-11-05[analyzer] Move convenience REGISTER_*_WITH_PROGRAMSTATE to CheckerContext.hJordan Rose
2012-11-03StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp: Appease msvc.NAKAMURA Takumi
2012-11-03[analyzer] Run remove dead on end of path.Anna Zaks
2012-11-02[analyzer] Use nice macros for the common ProgramStateTraits (map, set, list).Jordan Rose
2012-10-03[analyzer] Adjust the return type of an inlined devirtualized method call.Jordan Rose
2012-10-01Have AnalyzerOptions::getBooleanOption() stick the matching configTed Kremenek
2012-10-01Reapply "[analyzer] Handle inlined constructors for rvalue temporaries correc...Jordan Rose
2012-09-29Revert "[analyzer] Handle inlined constructors for rvalue temporaries correct...Jordan Rose
2012-09-28[analyzer] Handle inlined constructors for rvalue temporaries correctly.Jordan Rose
2012-09-21Simplify getRuntimeDefinition() back to taking no arguments.Ted Kremenek
2012-09-21Implement faux-body-synthesis of well-known functions in the static analyzer ...Ted Kremenek
2012-09-10[analyzer] Do not count calls to small functions when computing stackAnna Zaks
2012-09-10[analyzer] Add an option to enable/disable objc inlining.Anna Zaks
2012-09-10[analyzer] Add ipa-always-inline-size option (with 3 as the default).Anna Zaks
2012-09-10[analyzer] For now, don't inline C++ standard library functions.Jordan Rose
2012-09-01[analyzer] Silence unused variable warnings in NDEBUG builds.Jordan Rose
2012-08-31[analyzer] Though C++ inlining is enabled, don't inline ctors and dtors.Jordan Rose
2012-08-30[analyzer] Refactor the logic that determines if a functions should beAnna Zaks
2012-08-30Store const& to AnalyzerOptions in AnalysisManager instead of copyingTed Kremenek
2012-08-28[analyzer] When we look for the last stmt in a function, skip implicit dtors.Jordan Rose
2012-08-28[analyzer] Don't purge dead symbols at the end of calls if -analyzer-purge=none.Jordan Rose