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()463 Dir->setPreCond(Exprs.PreCond); in Create()610 Dir->setPreCond(Exprs.PreCond); in Create()655 Dir->setPreCond(Exprs.PreCond); in Create()987 Dir->setPreCond(Exprs.PreCond); in Create()1091 Dir->setPreCond(Exprs.PreCond); in Create()1136 Dir->setPreCond(Exprs.PreCond); in Create()1179 Dir->setPreCond(Exprs.PreCond); in Create()1224 Dir->setPreCond(Exprs.PreCond); in Create()[all …]
1186 void setPreCond(Expr *PC) { Data->getChildren()[PreConditionOffset] = PC; } in setPreCond() function