Home | History | Annotate | Download | only in Core

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());