llvm-project/clang/lib/Analysis
Valeriy Savchenko 4a7afc9a88 [-Wcalled-once-parameter] Fix false positives for cleanup attr
Cleanup attribute allows users to attach a destructor-like functions
to variable declarations to be called whenever they leave the scope.
The logic of such functions is not supported by the Clang's CFG and
is too hard to be reasoned about.  In order to avoid false positives
in this situation, we assume that we didn't see ALL of the executtion
paths of the function and, thus, can warn only about multiple call
violation.

rdar://74441906

Differential Revision: https://reviews.llvm.org/D98694
2021-03-18 12:32:16 +03:00
..
plugins [analyzer][NFC] Change LangOptions to CheckerManager in the shouldRegister* functions 2020-03-27 14:34:09 +01:00
AnalysisDeclContext.cpp AnalysisDeclContext::ManagedAnalyses: Use unique_ptr to simplify memory management 2020-04-28 22:31:16 -07:00
BodyFarm.cpp [AST][FPEnv] Keep FP options in trailing storage of CastExpr 2020-09-14 12:15:21 +07:00
CFG.cpp CFG: Create scope for non-compound range-for body. 2021-01-31 18:43:00 -05:00
CFGReachabilityAnalysis.cpp
CFGStmtMap.cpp [CFG] NFC: Remove implicit conversion from CFGTerminator to Stmt *. 2019-05-24 01:34:22 +00:00
CMakeLists.txt [analyzer] Introduce MacroExpansionContext to libAnalysis 2021-02-22 11:11:57 +01:00
CallGraph.cpp [[Clang CallGraph]] CallGraph should still record calls to decls. 2020-03-20 08:55:23 -07:00
CalledOnceCheck.cpp [-Wcalled-once-parameter] Fix false positives for cleanup attr 2021-03-18 12:32:16 +03:00
CloneDetection.cpp Avoid SourceManager.h include in RawCommentList.h, add missing incs 2020-02-27 13:49:40 -08:00
CocoaConventions.cpp [analyzer] Fix more analyzer warnings on analyzer and libAnalysis. 2019-08-28 21:19:58 +00:00
CodeInjector.cpp
ConstructionContext.cpp
Consumed.cpp [NFC] Refactor representation of materialized temporaries 2019-11-19 18:20:45 +01:00
Dominators.cpp Make a buildbot using a buggy gcc happy 2019-07-03 12:06:10 +00:00
ExprMutationAnalyzer.cpp [ASTImporter] Add support for importing GenericSelectionExpr AST nodes. 2020-12-16 15:39:50 -08:00
IssueHash.cpp Revert "Revert "[analyzer] NFC: Move IssueHash to libAnalysis."" 2020-11-17 16:01:49 -08:00
LiveVariables.cpp [analyzer][Liveness][NFC] Remove an unneeded pass to collect variables that appear in an assignment 2021-02-12 16:19:20 +01:00
MacroExpansionContext.cpp [MacroExpansionContext] Fix a warning. 2021-02-22 16:54:57 -08:00
ObjCNoReturn.cpp
PathDiagnostic.cpp [clang][Basic] Integrate SourceLocation with FoldingSet, NFCI 2020-10-27 10:43:39 +00:00
PostOrderCFGView.cpp AnalysisDeclContext::ManagedAnalyses: Use unique_ptr to simplify memory management 2020-04-28 22:31:16 -07:00
ProgramPoint.cpp [AST] Remove DeclCXX.h dep on ASTContext.h 2020-04-06 10:09:01 -07:00
ReachableCode.cpp Change while to do-while 2020-06-25 09:30:30 -07:00
RetainSummaryManager.cpp Correct Doxygen syntax for inline code 2021-03-16 15:17:45 +01:00
ThreadSafety.cpp Thread safety analysis: Consider static class members as inaccessible 2020-10-30 00:35:14 +01:00
ThreadSafetyCommon.cpp Thread safety analysis: Nullability improvements in TIL, NFCI 2020-10-25 19:37:16 +01:00
ThreadSafetyLogical.cpp
ThreadSafetyTIL.cpp
UninitializedValues.cpp [SemaCXX] Fix false positive of -Wuninitialized-const-reference in empty function body. 2020-07-06 10:52:05 -07:00