Searched refs:SubVal (Results 1 – 6 of 6) sorted by relevance
154 explicit NegationValue(BoolValue &SubVal) in NegationValue() argument155 : BoolValue(Kind::Negation), SubVal(SubVal) {} in NegationValue()162 BoolValue &getSubVal() const { return SubVal; } in getSubVal()165 BoolValue &SubVal;
151 SVal SubVal = State->getSVal(UO->getSubExpr(), C.getLocationContext()); in checkPreStmt() local154 verifyDereference(C, SubVal); in checkPreStmt()156 verifyIncrement(C, SubVal); in checkPreStmt()158 verifyDecrement(C, SubVal); in checkPreStmt()
82 SVal SubVal = State->getSVal(UO->getSubExpr(), C.getLocationContext()); in checkPreStmt() local85 verifyAccess(C, SubVal); in checkPreStmt()
247 BoolValue *neg(BoolValue *SubVal) { in neg() argument248 Vals.push_back(std::make_unique<NegationValue>(*SubVal)); in neg()
67 Value *SubVal = in decomposeSimpleLinearExpr() local71 return SubVal; in decomposeSimpleLinearExpr()
1989 SDValue SubVal = SDValue(CurDAG->getMachineNode(PPC::EXTRACT_SUBREG, dl, in TruncateToInt32() local1991 return SubVal; in TruncateToInt32()