Searched refs:setPreCond (Results 1 – 2 of 2) sorted by relevance
267 Dir->setPreCond(Exprs.PreCond); in Create()302 Dir->setPreCond(Exprs.PreCond); in Create()369 Dir->setPreCond(Exprs.PreCond); in Create()499 Dir->setPreCond(Exprs.PreCond); in Create()544 Dir->setPreCond(Exprs.PreCond); in Create()837 Dir->setPreCond(Exprs.PreCond); in Create()941 Dir->setPreCond(Exprs.PreCond); in Create()986 Dir->setPreCond(Exprs.PreCond); in Create()1029 Dir->setPreCond(Exprs.PreCond); in Create()1074 Dir->setPreCond(Exprs.PreCond); in Create()[all …]
1095 void setPreCond(Expr *PC) { Data->getChildren()[PreConditionOffset] = PC; } in setPreCond() function