Searched refs:NonZeroChecks (Results 1 – 1 of 1) sorted by relevance
296 std::vector<Value *> NonZeroChecks; member849 for (Value *V : DFSF.NonZeroChecks) { in runOnModule()923 NonZeroChecks.push_back(Shadow); in getShadow()1192 DFSF.NonZeroChecks.push_back(Shadow); in visitLoadInst()1563 DFSF.NonZeroChecks.push_back(LI); in visitCallSite()1617 DFSF.NonZeroChecks.push_back(ExShadow); in visitCallSite()