Searched refs:CondShadow (Results 1 – 1 of 1) sorted by relevance
1327 Value *CondShadow = DFSF.getShadow(I.getCondition()); in visitSelectInst() local1335 CondShadow, DFSF.combineShadows(TrueShadow, FalseShadow, &I), &I)); in visitSelectInst()1344 DFSF.setShadow(&I, DFSF.combineShadows(CondShadow, ShadowSel, &I)); in visitSelectInst()