WatchedLiteralsSolver.cpp - OpenGrok cross reference for /llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/WatchedLiteralsSolver.cpp

Lines Matching refs:GetVar

246   auto GetVar = [&SubValsToVar](const BoolValue *Val) {  in buildBooleanFormula()  local
258     Formula.addClause(posLit(GetVar(Val)));  in buildBooleanFormula()
268     const Variable Var = GetVar(Val);  in buildBooleanFormula()
275       const Variable LeftSubVar = GetVar(&C->getLeftSubValue());  in buildBooleanFormula()
276       const Variable RightSubVar = GetVar(&C->getRightSubValue());  in buildBooleanFormula()
300       const Variable LeftSubVar = GetVar(&D->getLeftSubValue());  in buildBooleanFormula()
301       const Variable RightSubVar = GetVar(&D->getRightSubValue());  in buildBooleanFormula()
325       const Variable SubVar = GetVar(&N->getSubVal());  in buildBooleanFormula()
336       const Variable LeftSubVar = GetVar(&I->getLeftSubValue());  in buildBooleanFormula()
337       const Variable RightSubVar = GetVar(&I->getRightSubValue());  in buildBooleanFormula()
351       const Variable LeftSubVar = GetVar(&B->getLeftSubValue());  in buildBooleanFormula()
352       const Variable RightSubVar = GetVar(&B->getRightSubValue());  in buildBooleanFormula()