Home
last modified time | relevance | path

Searched refs:FactEntry (Results 1 – 16 of 16) sorted by relevance

/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/lib/Analysis/
H A DThreadSafety.cpp107 class FactEntry : public CapabilityExpr { class
131 virtual ~FactEntry() = default;
167 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
249 const FactEntry *findLockUniv(FactManager &FM, in findLockUniv()
863 class LockableFactEntry : public FactEntry {
867 : FactEntry(CE, LK, Loc, Src) {} in LockableFactEntry()
1058 bool join(const FactEntry &a, const FactEntry &b, bool CanModify);
1954 FactEntry::SourceKind Source = in handleCall()
1955 isScopedVar ? FactEntry::Managed : FactEntry::Acquired; in handleCall()
2201 bool ThreadSafetyAnalyzer::join(const FactEntry &A, const FactEntry &B, in join()
[all …]
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/lib/Analysis/
H A DThreadSafety.cpp107 class FactEntry : public CapabilityExpr { class
131 virtual ~FactEntry() = default;
167 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
249 const FactEntry *findLockUniv(FactManager &FM, in findLockUniv()
858 class LockableFactEntry : public FactEntry {
862 : FactEntry(CE, LK, Loc, Src) {} in LockableFactEntry()
1053 bool join(const FactEntry &a, const FactEntry &b, bool CanModify);
1949 FactEntry::SourceKind Source = in handleCall()
1950 isScopedVar ? FactEntry::Managed : FactEntry::Acquired; in handleCall()
2196 bool ThreadSafetyAnalyzer::join(const FactEntry &A, const FactEntry &B, in join()
[all …]
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/lib/Analysis/
H A DThreadSafety.cpp107 class FactEntry : public CapabilityExpr { class
131 virtual ~FactEntry() = default;
167 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
249 const FactEntry *findLockUniv(FactManager &FM, in findLockUniv()
858 class LockableFactEntry : public FactEntry {
862 : FactEntry(CE, LK, Loc, Src) {} in LockableFactEntry()
1053 bool join(const FactEntry &a, const FactEntry &b, bool CanModify);
1949 FactEntry::SourceKind Source = in handleCall()
1950 isScopedVar ? FactEntry::Managed : FactEntry::Acquired; in handleCall()
2196 bool ThreadSafetyAnalyzer::join(const FactEntry &A, const FactEntry &B, in join()
[all …]
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/lib/Analysis/
H A DThreadSafety.cpp107 class FactEntry : public CapabilityExpr { class
131 virtual ~FactEntry() = default;
167 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
249 const FactEntry *findLockUniv(FactManager &FM, in findLockUniv()
858 class LockableFactEntry : public FactEntry {
862 : FactEntry(CE, LK, Loc, Src) {} in LockableFactEntry()
1053 bool join(const FactEntry &a, const FactEntry &b, bool CanModify);
1949 FactEntry::SourceKind Source = in handleCall()
1950 isScopedVar ? FactEntry::Managed : FactEntry::Acquired; in handleCall()
2196 bool ThreadSafetyAnalyzer::join(const FactEntry &A, const FactEntry &B, in join()
[all …]
/dports/devel/llvm13/llvm-project-13.0.1.src/clang/lib/Analysis/
H A DThreadSafety.cpp107 class FactEntry : public CapabilityExpr { class
131 virtual ~FactEntry() = default;
167 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
249 const FactEntry *findLockUniv(FactManager &FM, in findLockUniv()
858 class LockableFactEntry : public FactEntry {
862 : FactEntry(CE, LK, Loc, Src) {} in LockableFactEntry()
1053 bool join(const FactEntry &a, const FactEntry &b, bool CanModify);
1949 FactEntry::SourceKind Source = in handleCall()
1950 isScopedVar ? FactEntry::Managed : FactEntry::Acquired; in handleCall()
2196 bool ThreadSafetyAnalyzer::join(const FactEntry &A, const FactEntry &B, in join()
[all …]
/dports/lang/clang-mesa/clang-13.0.1.src/lib/Analysis/
H A DThreadSafety.cpp107 class FactEntry : public CapabilityExpr { class
131 virtual ~FactEntry() = default;
167 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
249 const FactEntry *findLockUniv(FactManager &FM, in findLockUniv()
858 class LockableFactEntry : public FactEntry {
862 : FactEntry(CE, LK, Loc, Src) {} in LockableFactEntry()
1053 bool join(const FactEntry &a, const FactEntry &b, bool CanModify);
1949 FactEntry::SourceKind Source = in handleCall()
1950 isScopedVar ? FactEntry::Managed : FactEntry::Acquired; in handleCall()
2196 bool ThreadSafetyAnalyzer::join(const FactEntry &A, const FactEntry &B, in join()
[all …]
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/lib/Analysis/
H A DThreadSafety.cpp107 class FactEntry : public CapabilityExpr { class
126 virtual ~FactEntry() = default;
162 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
244 const FactEntry *findLockUniv(FactManager &FM, in findLockUniv()
252 const FactEntry *findPartialMatch(FactManager &FM, in findPartialMatch()
853 class LockableFactEntry : public FactEntry {
891 class ScopedLockableFactEntry : public FactEntry {
906 : FactEntry(CE, LK_Exclusive, Loc, false) {} in ScopedLockableFactEntry()
2214 const FactEntry *LDat1 = nullptr; in intersectAndWarn()
2215 const FactEntry *LDat2 = &FactMan[Fact]; in intersectAndWarn()
[all …]
/dports/devel/llvm12/llvm-project-12.0.1.src/clang/lib/Analysis/
H A DThreadSafety.cpp107 class FactEntry : public CapabilityExpr { class
126 virtual ~FactEntry() = default;
162 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
244 const FactEntry *findLockUniv(FactManager &FM, in findLockUniv()
252 const FactEntry *findPartialMatch(FactManager &FM, in findPartialMatch()
853 class LockableFactEntry : public FactEntry {
891 class ScopedLockableFactEntry : public FactEntry {
906 : FactEntry(CE, LK_Exclusive, Loc, false) {} in ScopedLockableFactEntry()
2214 const FactEntry *LDat1 = nullptr; in intersectAndWarn()
2215 const FactEntry *LDat2 = &FactMan[Fact]; in intersectAndWarn()
[all …]
/dports/devel/llvm11/llvm-11.0.1.src/tools/clang/lib/Analysis/
H A DThreadSafety.cpp107 class FactEntry : public CapabilityExpr { class
126 virtual ~FactEntry() = default;
162 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
244 const FactEntry *findLockUniv(FactManager &FM, in findLockUniv()
252 const FactEntry *findPartialMatch(FactManager &FM, in findPartialMatch()
853 class LockableFactEntry : public FactEntry {
891 class ScopedLockableFactEntry : public FactEntry {
906 : FactEntry(CE, LK_Exclusive, Loc, false) {} in ScopedLockableFactEntry()
2199 const FactEntry *LDat1 = nullptr; in intersectAndWarn()
2200 const FactEntry *LDat2 = &FactMan[Fact]; in intersectAndWarn()
[all …]
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/lib/Analysis/
H A DThreadSafety.cpp107 class FactEntry : public CapabilityExpr { class
126 virtual ~FactEntry() = default;
162 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
244 const FactEntry *findLockUniv(FactManager &FM, in findLockUniv()
252 const FactEntry *findPartialMatch(FactManager &FM, in findPartialMatch()
853 class LockableFactEntry : public FactEntry {
891 class ScopedLockableFactEntry : public FactEntry {
906 : FactEntry(CE, LK_Exclusive, Loc, false) {} in ScopedLockableFactEntry()
2199 const FactEntry *LDat1 = nullptr; in intersectAndWarn()
2200 const FactEntry *LDat2 = &FactMan[Fact]; in intersectAndWarn()
[all …]
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/lib/Analysis/
H A DThreadSafety.cpp107 class FactEntry : public CapabilityExpr { class
126 virtual ~FactEntry() = default;
162 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
244 const FactEntry *findLockUniv(FactManager &FM, in findLockUniv()
252 const FactEntry *findPartialMatch(FactManager &FM, in findPartialMatch()
853 class LockableFactEntry : public FactEntry {
891 class ScopedLockableFactEntry : public FactEntry {
906 : FactEntry(CE, LK_Exclusive, Loc, false) {} in ScopedLockableFactEntry()
2214 const FactEntry *LDat1 = nullptr; in intersectAndWarn()
2215 const FactEntry *LDat2 = &FactMan[Fact]; in intersectAndWarn()
[all …]
/dports/devel/llvm10/llvm-10.0.1.src/tools/clang/lib/Analysis/
H A DThreadSafety.cpp107 class FactEntry : public CapabilityExpr { class
126 virtual ~FactEntry() = default;
162 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
244 const FactEntry *findLockUniv(FactManager &FM, in findLockUniv()
252 const FactEntry *findPartialMatch(FactManager &FM, in findPartialMatch()
853 class LockableFactEntry : public FactEntry {
891 class ScopedLockableFactEntry : public FactEntry {
906 : FactEntry(CE, LK_Exclusive, Loc, false) {} in ScopedLockableFactEntry()
2198 const FactEntry *LDat1 = nullptr; in intersectAndWarn()
2199 const FactEntry *LDat2 = &FactMan[Fact]; in intersectAndWarn()
[all …]
/dports/devel/llvm90/llvm-9.0.1.src/tools/clang/lib/Analysis/
H A DThreadSafety.cpp107 class FactEntry : public CapabilityExpr { class
126 virtual ~FactEntry() = default;
162 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
244 const FactEntry *findLockUniv(FactManager &FM, in findLockUniv()
252 const FactEntry *findPartialMatch(FactManager &FM, in findPartialMatch()
853 class LockableFactEntry : public FactEntry {
891 class ScopedLockableFactEntry : public FactEntry {
906 : FactEntry(CE, LK_Exclusive, Loc, false) {} in ScopedLockableFactEntry()
2195 const FactEntry *LDat1 = nullptr; in intersectAndWarn()
2196 const FactEntry *LDat2 = &FactMan[Fact]; in intersectAndWarn()
[all …]
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/lib/Analysis/
H A DThreadSafety.cpp107 class FactEntry : public CapabilityExpr { class
126 virtual ~FactEntry() = default;
162 FactID newFact(std::unique_ptr<FactEntry> Entry) { in newFact()
244 const FactEntry *findLockUniv(FactManager &FM, in findLockUniv()
252 const FactEntry *findPartialMatch(FactManager &FM, in findPartialMatch()
853 class LockableFactEntry : public FactEntry {
891 class ScopedLockableFactEntry : public FactEntry {
906 : FactEntry(CE, LK_Exclusive, Loc, false) {} in ScopedLockableFactEntry()
2198 const FactEntry *LDat1 = nullptr; in intersectAndWarn()
2199 const FactEntry *LDat2 = &FactMan[Fact]; in intersectAndWarn()
[all …]
/dports/devel/llvm80/llvm-8.0.1.src/tools/clang/lib/Analysis/
H A DThreadSafety.cpp108 class FactEntry : public CapabilityExpr {
127 virtual ~FactEntry() = default;
163 FactID newFact(std::unique_ptr<FactEntry> Entry) {
245 const FactEntry *findLockUniv(FactManager &FM,
253 const FactEntry *findPartialMatch(FactManager &FM,
854 class LockableFactEntry : public FactEntry {
892 class ScopedLockableFactEntry : public FactEntry {
907 : FactEntry(CE, LK_Exclusive, Loc, false) {}
2195 const FactEntry *LDat1 = nullptr;
2196 const FactEntry *LDat2 = &FactMan[Fact];
[all …]
/dports/devel/llvm70/llvm-7.0.1.src/tools/clang/lib/Analysis/
H A DThreadSafety.cpp113 class FactEntry : public CapabilityExpr {
132 virtual ~FactEntry() = default;
162 std::vector<std::unique_ptr<FactEntry>> Facts;
165 FactID newFact(std::unique_ptr<FactEntry> Entry) {
255 FactEntry *findPartialMatch(FactManager &FM,
856 class LockableFactEntry : public FactEntry {
888 class ScopedLockableFactEntry : public FactEntry {
895 : FactEntry(CE, LK_Exclusive, Loc, false) {
2113 const FactEntry *LDat1 = nullptr;
2114 const FactEntry *LDat2 = &FactMan[Fact];
[all …]