Searched refs:u1GetCondD (Results 1 – 1 of 1) sorted by relevance
386 Expr u1GetCondD = ((TernaryExpr) bcTernary.getIfTrue()).getPred(); in testPostConditionalDependencies() local412 Expr[] batch = {d, e, u1, u2, u1GetCondD, u2GetCondE, xxPlusU2getCondE, abTernary, in testPostConditionalDependencies()425 assertFlags(u1GetCondD, bcTernary.getRequirementFlagIndex(true)); in testPostConditionalDependencies()