Home | History | Annotate | Download | only in Analysis

Lines Matching defs:Overflow

586         // (&GV+C1) - (&GV+C2) -> C1-C2, pointer arithmetic cannot overflow.
1546 bool Overflow;
1550 Res = Op1->getValue().sadd_ov(Op2->getValue(), Overflow);
1553 Res = Op1->getValue().uadd_ov(Op2->getValue(), Overflow);
1556 Res = Op1->getValue().ssub_ov(Op2->getValue(), Overflow);
1559 Res = Op1->getValue().usub_ov(Op2->getValue(), Overflow);
1562 Res = Op1->getValue().smul_ov(Op2->getValue(), Overflow);
1565 Res = Op1->getValue().umul_ov(Op2->getValue(), Overflow);
1570 ConstantInt::get(Type::getInt1Ty(F->getContext()), Overflow)