Home | History | Annotate | Download | only in Analysis

Lines Matching refs:Overflow

533         // (&GV+C1) - (&GV+C2) -> C1-C2, pointer arithmetic cannot overflow.
1376 bool Overflow;
1380 Res = Op1->getValue().sadd_ov(Op2->getValue(), Overflow);
1383 Res = Op1->getValue().uadd_ov(Op2->getValue(), Overflow);
1386 Res = Op1->getValue().ssub_ov(Op2->getValue(), Overflow);
1389 Res = Op1->getValue().usub_ov(Op2->getValue(), Overflow);
1392 Res = Op1->getValue().smul_ov(Op2->getValue(), Overflow);
1395 Res = Op1->getValue().umul_ov(Op2->getValue(), Overflow);
1400 ConstantInt::get(Type::getInt1Ty(F->getContext()), Overflow)