contrib/sqlite3/sqlite3.c

32890 ** Attempt to add, substract, or multiply the 64-bit signed value iB against
32895 SQLITE_PRIVATE int sqlite3AddInt64(i64 *pA, i64 iB){
32897   return __builtin_add_overflow(*pA, iB, pA);
32901   testcase( iB==-1 ); testcase( iB==0 );
32902   if( iB>=0 ){
32903     testcase( iA>0 && LARGEST_INT64 - iA == iB );
32904     testcase( iA>0 && LARGEST_INT64 - iA == iB - 1 );
32905     if( iA>0 && LARGEST_INT64 - iA < iB ) return 1;
32907     testcase( iA<0 && -(iA + LARGEST_INT64) == iB + 1 );
32908     testcase( iA<0 && -(iA + LARGEST_INT64) == iB + 2 );
32909     if( iA<0 && -(iA + LARGEST_INT64) > iB + 1 ) return 1;
32911   *pA += iB;
32915 SQLITE_PRIVATE int sqlite3SubInt64(i64 *pA, i64 iB){
32917   return __builtin_sub_overflow(*pA, iB, pA);
32919   testcase( iB==SMALLEST_INT64+1 );
32920   if( iB==SMALLEST_INT64 ){
32923     *pA -= iB;
32926     return sqlite3AddInt64(pA, -iB);
32930 SQLITE_PRIVATE int sqlite3MulInt64(i64 *pA, i64 iB){
32932   return __builtin_mul_overflow(*pA, iB, pA);
32935   if( iB>0 ){
32936     if( iA>LARGEST_INT64/iB ) return 1;
32937     if( iA<SMALLEST_INT64/iB ) return 1;
32938   }else if( iB<0 ){
32940       if( iB<SMALLEST_INT64/iA ) return 1;
32942       if( iB==SMALLEST_INT64 ) return 1;
32944       if( -iA>LARGEST_INT64/-iB ) return 1;
32947   *pA = iA*iB;
87602   i64 iB;         /* Integer value of right operand */
87614     iB = pIn2->u.i;
87616       case OP_Add:       if( sqlite3AddInt64(&iB,iA) ) goto fp_math;  break;
87617       case OP_Subtract:  if( sqlite3SubInt64(&iB,iA) ) goto fp_math;  break;
87618       case OP_Multiply:  if( sqlite3MulInt64(&iB,iA) ) goto fp_math;  break;
87621         if( iA==-1 && iB==SMALLEST_INT64 ) goto fp_math;
87622         iB /= iA;
87628         iB %= iA;
87632     pOut->u.i = iB;
87652         iB = sqlite3VdbeIntValue(pIn2);
87655         rB = (double)(iB % iA);
87736   i64 iB;
87747   iB = sqlite3VdbeIntValue(pIn1);
87750     iA &= iB;
87752     iA |= iB;
87753   }else if( iB!=0 ){
87757     if( iB<0 ){
87760       iB = iB>(-64) ? -iB : 64;
87763     if( iB>=64 ){
87768         uA <<= iB;
87770         uA >>= iB;
87772         if( iA<0 ) uA |= ((((u64)0xffffffff)<<32)|0xffffffff) << (64-iB);