Searched refs:setPreCond (Results 1 – 2 of 2) sorted by relevance
311 Dir->setPreCond(Exprs.PreCond); in Create()346 Dir->setPreCond(Exprs.PreCond); in Create()461 Dir->setPreCond(Exprs.PreCond); in Create()591 Dir->setPreCond(Exprs.PreCond); in Create()636 Dir->setPreCond(Exprs.PreCond); in Create()968 Dir->setPreCond(Exprs.PreCond); in Create()1072 Dir->setPreCond(Exprs.PreCond); in Create()1117 Dir->setPreCond(Exprs.PreCond); in Create()1160 Dir->setPreCond(Exprs.PreCond); in Create()1205 Dir->setPreCond(Exprs.PreCond); in Create()[all …]
1171 void setPreCond(Expr *PC) { Data->getChildren()[PreConditionOffset] = PC; } in setPreCond() function