Searched refs:setPreCond (Results 1 – 2 of 2) sorted by relevance
310 Dir->setPreCond(Exprs.PreCond); in Create()347 Dir->setPreCond(Exprs.PreCond); in Create()501 Dir->setPreCond(Exprs.PreCond); in Create()648 Dir->setPreCond(Exprs.PreCond); in Create()693 Dir->setPreCond(Exprs.PreCond); in Create()1025 Dir->setPreCond(Exprs.PreCond); in Create()1129 Dir->setPreCond(Exprs.PreCond); in Create()1174 Dir->setPreCond(Exprs.PreCond); in Create()1217 Dir->setPreCond(Exprs.PreCond); in Create()1262 Dir->setPreCond(Exprs.PreCond); in Create()[all …]
1187 void setPreCond(Expr *PC) { Data->getChildren()[PreConditionOffset] = PC; } in setPreCond() function