Searched refs:Symbolic (Results 1 - 7 of 7) sorted by relevance

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DValistChecker.cpp139 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 DBitcodeAnalyzer.h42 bool Symbolic = false; member in struct:llvm::BCDumpOptions
/freebsd-11-stable/contrib/llvm-project/llvm/tools/llvm-bcanalyzer/
H A Dllvm-bcanalyzer.cpp102 O.Symbolic = !NonSymbolic;
/freebsd-11-stable/contrib/llvm-project/llvm/lib/Bitcode/Reader/
H A DBitcodeAnalyzer.cpp771 if (!O->Symbolic && BlockName)
865 if (!O->Symbolic && CodeName)
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h72 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 DRegionStore.cpp47 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 DMemRegion.cpp1463 return RegionOffset(SymbolicOffsetBase, RegionOffset::Symbolic);

Completed in 202 milliseconds