Searched refs:Symbolic (Results 1 - 7 of 7) sorted by relevance
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | ValistChecker.cpp | 139 bool Symbolic; local 142 Call.getArgExpr(FuncInfo.VAListPos), Symbolic, C); 151 if (Symbolic) 191 bool Symbolic; local 193 getVAListAsRegion(VAListSVal, VASubExpr, Symbolic, C); 196 if (Symbolic) 310 bool Symbolic; local 312 getVAListAsRegion(Call.getArgSVal(0), Call.getArgExpr(0), Symbolic, C); 320 getVAListAsRegion(Call.getArgSVal(1), Call.getArgExpr(1), Symbolic, C); 328 } else if (!State->contains<InitializedVALists>(Arg2) && !Symbolic) { 357 bool Symbolic; local [all...] |
/freebsd-11-stable/contrib/llvm-project/llvm/include/llvm/Bitcode/ |
H A D | BitcodeAnalyzer.h | 42 bool Symbolic = false; member in struct:llvm::BCDumpOptions
|
/freebsd-11-stable/contrib/llvm-project/llvm/tools/llvm-bcanalyzer/ |
H A D | llvm-bcanalyzer.cpp | 102 O.Symbolic = !NonSymbolic;
|
/freebsd-11-stable/contrib/llvm-project/llvm/lib/Bitcode/Reader/ |
H A D | BitcodeAnalyzer.cpp | 771 if (!O->Symbolic && BlockName) 865 if (!O->Symbolic && CodeName)
|
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | MemRegion.h | 72 static const int64_t Symbolic = std::numeric_limits<int64_t>::max(); member in class:clang::ento::RegionOffset 79 bool hasSymbolicOffset() const { return Offset == Symbolic; } 762 /// map the concept of symbolic values into the domain of regions. Symbolic
|
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | RegionStore.cpp | 47 enum { Symbolic = 0x2 }; enumerator in enum:__anon894::BindingKey::__anon895 55 : P(r, k | Symbolic), Data(reinterpret_cast<uintptr_t>(Base)) { 72 bool hasSymbolicOffset() const { return P.getInt() & Symbolic; } 1135 // Symbolic region?
|
H A D | MemRegion.cpp | 1463 return RegionOffset(SymbolicOffsetBase, RegionOffset::Symbolic);
|
Completed in 202 milliseconds