Lines Matching refs:markOverdefined
116 Res.markOverdefined(); in getOverdefined()
143 bool markOverdefined() { in markOverdefined() function in __anonadeae0b70111::LVILatticeVal
188 return markOverdefined(); in markConstantRange()
197 return markOverdefined(); in markConstantRange()
208 if (RHS.isOverdefined()) return markOverdefined(); in mergeIn()
221 return markOverdefined(); in mergeIn()
226 return markOverdefined(); in mergeIn()
236 return markOverdefined(); in mergeIn()
239 return markOverdefined(); in mergeIn()
245 return markOverdefined(); in mergeIn()
255 return markOverdefined(); in mergeIn()
261 return markOverdefined(); in mergeIn()
264 return markOverdefined(); in mergeIn()
269 return markOverdefined(); in mergeIn()
273 return markOverdefined(); in mergeIn()
766 Result.markOverdefined(); in solveBlockValueNonLocal()
884 BBLV.markOverdefined(); in solveBlockValueSelect()
891 BBLV.markOverdefined(); in solveBlockValueSelect()
898 BBLV.markOverdefined(); in solveBlockValueSelect()
905 BBLV.markOverdefined(); in solveBlockValueSelect()
947 TrueValTaken.markOverdefined(); in solveBlockValueSelect()
950 FalseValTaken.markOverdefined(); in solveBlockValueSelect()
1010 BBLV.markOverdefined(); in solveBlockValueCast()
1027 BBLV.markOverdefined(); in solveBlockValueCast()
1104 BBLV.markOverdefined(); in solveBlockValueBinaryOp()
1283 LocalResult.markOverdefined(); in getEdgeValue()