no_overflow       238 src/Bounds.cpp                     Expr no_overflow = (cast<int>(a.max) + cast<int>(b.max) == cast<int>(interval.max));
no_overflow       239 src/Bounds.cpp                     if (!can_prove(no_overflow)) {
no_overflow       245 src/Bounds.cpp                     Expr no_overflow = (cast<int>(a.min) + cast<int>(b.min) == cast<int>(interval.min));
no_overflow       246 src/Bounds.cpp                     if (!can_prove(no_overflow)) {
no_overflow       277 src/Bounds.cpp                     Expr no_overflow = (cast<int>(a.max) - cast<int>(b.min) == cast<int>(interval.max));
no_overflow       278 src/Bounds.cpp                     if (!can_prove(no_overflow)) {
no_overflow       284 src/Bounds.cpp                     Expr no_overflow = (cast<int>(a.min) - cast<int>(b.max) == cast<int>(interval.min));
no_overflow       285 src/Bounds.cpp                     if (!can_prove(no_overflow)) {
no_overflow       447 src/Simplify.cpp         if (!no_overflow(e.type())) return Expr();
no_overflow       460 src/Simplify.cpp         if (!no_overflow(e.type())) return Expr();
no_overflow       653 src/Simplify.cpp             if (no_overflow(a.type()) &&
no_overflow       779 src/Simplify.cpp                    no_overflow(op->type)) {
no_overflow       785 src/Simplify.cpp                    no_overflow(op->type)) {
no_overflow       791 src/Simplify.cpp                    no_overflow(op->type)) {
no_overflow       797 src/Simplify.cpp                    no_overflow(op->type)) {
no_overflow       800 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow       806 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow       812 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow       818 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow       825 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow       833 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow       841 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow       849 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow       869 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow       899 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow       908 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow       916 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow       924 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow       932 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1017 src/Simplify.cpp             if (no_overflow(a.type()) &&
no_overflow      1100 src/Simplify.cpp                    no_overflow(op->type)) {
no_overflow      1106 src/Simplify.cpp                    no_overflow(op->type)) {
no_overflow      1112 src/Simplify.cpp                    no_overflow(op->type)) {
no_overflow      1118 src/Simplify.cpp                    no_overflow(op->type)) {
no_overflow      1125 src/Simplify.cpp                    no_overflow(op->type)) {
no_overflow      1131 src/Simplify.cpp                    no_overflow(op->type)) {
no_overflow      1137 src/Simplify.cpp                    no_overflow(op->type)) {
no_overflow      1143 src/Simplify.cpp                    no_overflow(op->type)) {
no_overflow      1171 src/Simplify.cpp                    no_overflow(op->type)) {
no_overflow      1177 src/Simplify.cpp                    no_overflow(op->type)) {
no_overflow      1183 src/Simplify.cpp                    no_overflow(op->type)) {
no_overflow      1189 src/Simplify.cpp                    no_overflow(op->type)) {
no_overflow      1237 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1240 src/Simplify.cpp                    no_overflow(op->type) &&
no_overflow      1247 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1250 src/Simplify.cpp                    no_overflow(op->type) &&
no_overflow      1254 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1260 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1266 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1272 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1278 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1284 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1302 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1308 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1314 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1320 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1326 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1335 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1349 src/Simplify.cpp                    no_overflow(op->type) &&
no_overflow      1372 src/Simplify.cpp                    no_overflow(op->type) &&
no_overflow      1383 src/Simplify.cpp                    no_overflow(op->type) &&
no_overflow      1394 src/Simplify.cpp                    no_overflow(op->type) &&
no_overflow      1405 src/Simplify.cpp                    no_overflow(op->type) &&
no_overflow      1416 src/Simplify.cpp                    no_overflow(op->type) &&
no_overflow      1430 src/Simplify.cpp                    no_overflow(op->type) &&
no_overflow      1486 src/Simplify.cpp             if (no_overflow(a.type()) &&
no_overflow      1678 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1686 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1696 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1710 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1721 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1731 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1742 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1752 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1764 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1775 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1786 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1797 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1808 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1819 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1830 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1842 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1853 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1858 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1863 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1869 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1876 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1882 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1888 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1894 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1901 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1906 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1911 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1917 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1923 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1929 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1936 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1942 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1948 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      1954 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2030 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2038 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2047 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2055 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2070 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2212 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2229 src/Simplify.cpp         if (no_overflow(op->type) &&
no_overflow      2241 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2251 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2261 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2389 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2396 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2402 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2408 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2423 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2437 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2449 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2481 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2596 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2614 src/Simplify.cpp         if (no_overflow(op->type) &&
no_overflow      2626 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2636 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2646 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2752 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2759 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2765 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2771 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2785 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2799 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2811 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2843 src/Simplify.cpp         } else if (no_overflow(op->type) &&
no_overflow      2933 src/Simplify.cpp                    no_overflow(mul->type)) {
no_overflow      3029 src/Simplify.cpp                    (no_overflow(delta.type()) &&
no_overflow      3032 src/Simplify.cpp         } else if (no_overflow(delta.type()) &&
no_overflow      3039 src/Simplify.cpp         } else if (no_overflow(delta.type())) {