Searched refs:NonZeroChecks (Results 1 – 1 of 1) sorted by relevance
296 std::vector<Value *> NonZeroChecks; member844 for (Value *V : DFSF.NonZeroChecks) { in runOnModule()918 NonZeroChecks.push_back(Shadow); in getShadow()1186 DFSF.NonZeroChecks.push_back(Shadow); in visitLoadInst()1553 DFSF.NonZeroChecks.push_back(LI); in visitCallSite()1607 DFSF.NonZeroChecks.push_back(ExShadow); in visitCallSite()