Searched refs:fpostinv (Results 1 – 2 of 2) sorted by relevance
545 Statement fpostinv = null; in visit() local550 fpostinv = new ExpStatement(Loc.initial, e); in visit()568 if ((needEnsure && global.params.useOut == CHECKENABLE.on) || fpostinv) in visit()609 fpostinv = null; in visit()1103 if (fens || fpostinv) in visit()1106 fens = fpostinv; in visit()1107 else if (fpostinv) in visit()1108 fens = new CompoundStatement(Loc.initial, fpostinv, fens); in visit()
1657 Statement *fpostinv = NULL; in semantic3() local1662 fpostinv = new ExpStatement(Loc(), e); in semantic3()1672 if ((needEnsure && global.params.useOut) || fpostinv) in semantic3()1719 fpostinv = NULL; in semantic3()2140 if (fens || fpostinv) in semantic3()2143 fens = fpostinv; in semantic3()2144 else if (fpostinv) in semantic3()2145 fens = new CompoundStatement(Loc(), fpostinv, fens); in semantic3()