Home
last modified time | relevance | path

Searched refs:GotoLabel (Results 1 – 10 of 10) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DSVals.cpp142 QualType VisitLocGotoLabel(loc::GotoLabel GL) { in VisitLocGotoLabel()
369 os << "&&" << castAs<loc::GotoLabel>().getLabel()->getName(); in dumpToStream()
H A DStore.cpp465 if (isa<loc::GotoLabel>(Base)) in getLValueElement()
H A DSValBuilder.cpp684 SVal VisitLocGotoLabel(loc::GotoLabel V) { in VisitLocGotoLabel()
H A DSimpleSValBuilder.cpp859 assert((isa<loc::MemRegionVal, loc::GotoLabel>(rhs))); in evalBinOpLL()
H A DExprEngine.cpp2517 if (Optional<loc::GotoLabel> LV = V.getAs<loc::GotoLabel>()) { in processIndirectGoto()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h364 loc::GotoLabel makeLoc(const AddrLabelExpr *expr) { in makeLoc()
365 return loc::GotoLabel(expr->getLabel()); in makeLoc()
H A DSVals.def60 LOC_SVAL(GotoLabel, Loc)
H A DSVals.h489 class GotoLabel : public Loc {
491 explicit GotoLabel(const LabelDecl *Label) : Loc(GotoLabelKind, Label) { in GotoLabel() function
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DCStringChecker.cpp851 if (Optional<loc::GotoLabel> Label = Buf.getAs<loc::GotoLabel>()) { in getCStringLength()
H A DMallocChecker.cpp2128 else if (Optional<loc::GotoLabel> Label = V.getAs<loc::GotoLabel>()) in SummarizeValue()