1436 int sqlite3AddInt64(i64 *pA, i64 iB){  in sqlite3AddInt64()  argument
1438   return __builtin_add_overflow(*pA, iB, pA);  in sqlite3AddInt64()
1442   testcase( iB==-1 ); testcase( iB==0 );  in sqlite3AddInt64()
1443   if( iB>=0 ){  in sqlite3AddInt64()
1444     testcase( iA>0 && LARGEST_INT64 - iA == iB );  in sqlite3AddInt64()
1445     testcase( iA>0 && LARGEST_INT64 - iA == iB - 1 );  in sqlite3AddInt64()
1446     if( iA>0 && LARGEST_INT64 - iA < iB ) return 1;  in sqlite3AddInt64()
1448     testcase( iA<0 && -(iA + LARGEST_INT64) == iB + 1 );  in sqlite3AddInt64()
1449     testcase( iA<0 && -(iA + LARGEST_INT64) == iB + 2 );  in sqlite3AddInt64()
1450     if( iA<0 && -(iA + LARGEST_INT64) > iB + 1 ) return 1;  in sqlite3AddInt64()
1452   *pA += iB;  in sqlite3AddInt64()
1456 int sqlite3SubInt64(i64 *pA, i64 iB){  in sqlite3SubInt64()  argument
1458   return __builtin_sub_overflow(*pA, iB, pA);  in sqlite3SubInt64()
1460   testcase( iB==SMALLEST_INT64+1 );  in sqlite3SubInt64()
1461   if( iB==SMALLEST_INT64 ){  in sqlite3SubInt64()
1464     *pA -= iB;  in sqlite3SubInt64()
1467     return sqlite3AddInt64(pA, -iB);  in sqlite3SubInt64()
1471 int sqlite3MulInt64(i64 *pA, i64 iB){  in sqlite3MulInt64()  argument
1473   return __builtin_mul_overflow(*pA, iB, pA);  in sqlite3MulInt64()
1476   if( iB>0 ){  in sqlite3MulInt64()
1477     if( iA>LARGEST_INT64/iB ) return 1;  in sqlite3MulInt64()
1478     if( iA<SMALLEST_INT64/iB ) return 1;  in sqlite3MulInt64()
1479   }else if( iB<0 ){  in sqlite3MulInt64()
1481       if( iB<SMALLEST_INT64/iA ) return 1;  in sqlite3MulInt64()
1483       if( iB==SMALLEST_INT64 ) return 1;  in sqlite3MulInt64()
1485       if( -iA>LARGEST_INT64/-iB ) return 1;  in sqlite3MulInt64()
1488   *pA = iA*iB;  in sqlite3MulInt64()