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