llvm-project/clang/lib/Analysis
Aaron Puchert d21e1b79ff Thread safety analysis: Eliminate parameter from intersectAndWarn (NFC)
We were modifying precisely when intersecting the lock sets of multiple
predecessors without back edge. That's no coincidence: we can't modify
on back edges, it doesn't make sense to modify at the end of a function,
and otherwise we always want to intersect on forward edges, because we
can build a new lock set for those.

Reviewed By: aaron.ballman

Differential Revision: https://reviews.llvm.org/D101755
2021-05-06 23:07:42 +02: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 [analyzer] Fix body farm for Obj-C++ properties 2021-04-07 13:44:43 +03: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 [-Wcompletion-handler] Don't recognize init methods as conventional 2021-04-07 13:50:01 +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: Eliminate parameter from intersectAndWarn (NFC) 2021-05-06 23:07:42 +02: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