Lines Matching refs:SxBuilder
1088 threadSafety::SExprBuilder SxBuilder; member in __anon06d2d5b10a11::ThreadSafetyAnalyzer
1102 : Arena(&Bpa), SxBuilder(Arena), Handler(H), GlobalBeforeSet(Bset) {} in ThreadSafetyAnalyzer()
1180 Analyzer.SxBuilder.translateAttrExpr(Arg, nullptr); in insertAttrExprs()
1196 Analyzer.SxBuilder.translateAttrExpr(Arg, nullptr); in insertAttrExprs()
1391 CapabilityExpr Cp = SxBuilder.translateAttrExpr(nullptr, D, Exp, Self); in getMutexIDs()
1403 CapabilityExpr Cp = SxBuilder.translateAttrExpr(Arg, D, Exp, Self); in getMutexIDs()
1635 CapabilityExpr Cp = SxBuilder.translateAttrExpr(MutexExp, D, Exp, Self); in warnIfMutexNotHeld()
1694 CapabilityExpr Cp = SxBuilder.translateAttrExpr(MutexExp, D, Exp, Self); in warnIfMutexHeld()
1872 Analyzer->SxBuilder.createVariable(nullptr); in handleCall()
2016 CapabilityExpr Cp(Analyzer->SxBuilder.translate(Arg, nullptr), in handleCall()
2548 CapabilityExpr Cp(SxBuilder.createVariable(Param), StringRef(), in runAnalysis()
2666 SxBuilder.createVariable(AD.getVarDecl()), in runAnalysis()
2674 SxBuilder.createVariable(CF.getVarDecl()), in runAnalysis()