Lines Matching refs:makeIntVal
1756 SVal V = svalBuilder.makeIntVal(ED->getInitVal());2235 SVal Val = svalBuilder.makeIntVal(1U, Ex->getType()); 2242 SVal Val = svalBuilder.makeIntVal(0U, Ex->getType());