DO((-9223372036854775808)*(1));

/test/11.0_opt_san/sql/item_func.cc:1413:6: runtime error: negation of -9223372036854775808 cannot be represented in type 'long long int'; cast to an unsigned type to negate this value to itself

/test/11.0_opt_san/sql/item_func.cc:1444:8: runtime error: negation of -9223372036854775808 cannot be represented in type 'long long int'; cast to an unsigned type to negate this value to itself

/test/11.0_opt_san/sql/item_func.cc:1413:6: runtime error: negation of -9223372036854775808 cannot be represented in type 'long long int'; cast to an unsigned type to negate this value to itself

    #0 0x56511998d3c9 in Item_func_mul::int_op() /test/11.0_opt_san/sql/item_func.cc:1413

    #1 0x565117892f42 in Item_func::is_null() /test/11.0_opt_san/sql/item_func.h:176

    #2 0x56511a2f8791 in mysql_do(THD*, List<Item>&) /test/11.0_opt_san/sql/sql_do.cc:35

    #3 0x565117faef10 in mysql_execute_command(THD*, bool) /test/11.0_opt_san/sql/sql_parse.cc:3978

    #4 0x565117fcb322 in mysql_parse(THD*, char*, unsigned int, Parser_state*) /test/11.0_opt_san/sql/sql_parse.cc:7999

    #5 0x565117fd8fad in dispatch_command(enum_server_command, THD*, char*, unsigned int, bool) /test/11.0_opt_san/sql/sql_parse.cc:1894

    #6 0x565117fe2718 in do_command(THD*, bool) /test/11.0_opt_san/sql/sql_parse.cc:1407

    #7 0x5651188e3c2c in do_handle_one_connection(CONNECT*, bool) /test/11.0_opt_san/sql/sql_connect.cc:1416

    #8 0x5651188e622c in handle_one_connection /test/11.0_opt_san/sql/sql_connect.cc:1318

    #9 0x14cb97c6ab42 in start_thread nptl/pthread_create.c:442

    #10 0x14cb97cfc9ff  (/lib/x86_64-linux-gnu/libc.so.6+0x1269ff)

/test/11.0_opt_san/sql/item_func.cc:1444:8: runtime error: negation of -9223372036854775808 cannot be represented in type 'long long int'; cast to an unsigned type to negate this value to itself

    #0 0x56511998d3e2 in Item_func_mul::int_op() /test/11.0_opt_san/sql/item_func.cc:1444

    #1 0x565117892f42 in Item_func::is_null() /test/11.0_opt_san/sql/item_func.h:176

    #2 0x56511a2f8791 in mysql_do(THD*, List<Item>&) /test/11.0_opt_san/sql/sql_do.cc:35

    #3 0x565117faef10 in mysql_execute_command(THD*, bool) /test/11.0_opt_san/sql/sql_parse.cc:3978

    #4 0x565117fcb322 in mysql_parse(THD*, char*, unsigned int, Parser_state*) /test/11.0_opt_san/sql/sql_parse.cc:7999

    #5 0x565117fd8fad in dispatch_command(enum_server_command, THD*, char*, unsigned int, bool) /test/11.0_opt_san/sql/sql_parse.cc:1894

    #6 0x565117fe2718 in do_command(THD*, bool) /test/11.0_opt_san/sql/sql_parse.cc:1407

    #7 0x5651188e3c2c in do_handle_one_connection(CONNECT*, bool) /test/11.0_opt_san/sql/sql_connect.cc:1416

    #8 0x5651188e622c in handle_one_connection /test/11.0_opt_san/sql/sql_connect.cc:1318

    #9 0x14cb97c6ab42 in start_thread nptl/pthread_create.c:442

    #10 0x14cb97cfc9ff  (/lib/x86_64-linux-gnu/libc.so.6+0x1269ff)

UBSAN|negation of -X cannot be represented in type 'long long int'; cast to an unsigned type to negate this value to itself|sql/item_func.cc|Item_func_mul::int_op|Item::update_null_value|Item_func::is_null|mysql_do

UBSAN|negation of -X cannot be represented in type 'long long int'; cast to an unsigned type to negate this value to itself|sql/item_func.cc|Item_func_mul::int_op|Item_func::is_null|mysql_do|mysql_execute_command

UBSAN|negation of -X cannot be represented in type 'long long int'; cast to an unsigned type to negate this value to itself|sql/item_func.cc|Item_func_mul::int_op|Item_func_hybrid_field_type::val_int_from_int_op|Type_handler_int_result::Item_func_hybrid_field_type_val_int|Item_func_hybrid_field_type::val_int

SELECT (GET_FORMAT(TIME,'JIS'))DIV(POW(-40,65)DIV(1)*2);

UBSAN|negation of -X cannot be represented in type 'long long int'; cast to an unsigned type to negate this value to itself|sql/item_func.cc|Item_func_mul::int_op|Item_func_hybrid_field_type::val_decimal_from_int_op|Item_func_int_div::val_int|Type_handler::Item_send_longlong

UBSAN|negation of -X cannot be represented in type 'long long int'; cast to an unsigned type to negate this value to itself|sql/item_func.cc|Item_func_mul::int_op|Item_func_hybrid_field_type::val_decimal_from_int_op|Type_handler_int_result::Item_func_hybrid_field_type_val_decimal|Item_func_hybrid_field_type::val_decimal

UBSAN|negation of -X cannot be represented in type 'long long int'; cast to an unsigned type to negate this value to itself|sql/item_func.cc|Item_func_mul::int_op|Item_func_hybrid_field_type::val_decimal_from_int_op|VDec::set|VDec2_lazy::VDec2_lazy

SET SESSION div_precision_increment=2;

SELECT (EXP(100) DIV -0.05*1);

UBSAN|negation of -X cannot be represented in type 'long long int'; cast to an unsigned type to negate this value to itself|sql/item_func.cc|Item_func_mul::int_op|Item_func_hybrid_field_type::val_int_from_int_op|Type_handler_int_result::Item_func_hybrid_field_type_val_int|Item_func_hybrid_field_type::val_int

UBSAN|negation of -X cannot be represented in type 'long long int'; cast to an unsigned type to negate this value to itself|sql/item_func.cc|Item_func_mul::int_op|Type_handler::Item_send_longlong|Protocol::send_result_set_row|select_send::send_data

SELECT -9223372036854775808 MOD 9223372036854775810;

UBSAN|negation of -X cannot be represented in type 'long long int'; cast to an unsigned type to negate this value to itself|sql/item_func.cc|Item_func_mod::int_op|Item_func_hybrid_field_type::val_int_from_int_op|Type_handler_int_result::Item_func_hybrid_field_type_val_int|Item_func_hybrid_field_type::val_int

UBSAN|negation of -X cannot be represented in type 'long long int'; cast to an unsigned type to negate this value to itself|sql/item_func.cc|Item_func_mod::int_op|Type_handler::Item_send_longlong|Protocol::send_result_set_row|select_send::send_data

CREATE TABLE t(c INT);

INSERT INTO t VALUES(TRUNCATE(0,-1.e+30));

UBSAN|negation of -X cannot be represented in type 'long long int'; cast to an unsigned type to negate this value to itself|sql/item_func.cc|Item_func_round::int_op|Item::save_int_in_field|Item::save_in_field|fill_record

UBSAN|negation of -X cannot be represented in type 'long long int'; cast to an unsigned type to negate this value to itself|sql/item_func.cc|Item_func_round::int_op|Item_func_hybrid_field_type::val_int_from_int_op|Type_handler_int_result::Item_func_hybrid_field_type_val_int|Item_func_hybrid_field_type::val_int

SELECT GET_FORMAT(TIME,'JIS') DIV ATAN (TRUNCATE (0,'2000000000000000' DIV SIN(1500)*NOW(5)));

UBSAN|negation of -X cannot be represented in type 'long long int'; cast to an unsigned type to negate this value to itself|sql/item_func.cc|Item_func_round::int_op|Item_func_hybrid_field_type::val_real_from_int_op|Item_func_atan::val_real|Item_real_func::val_decimal

UBSAN|negation of -X cannot be represented in type 'long long int'; cast to an unsigned type to negate this value to itself|sql/item_func.cc|Item_func_round::int_op|Item_func_hybrid_field_type::val_real_from_int_op|Type_handler_int_result::Item_func_hybrid_field_type_val_real|Item_func_hybrid_field_type::val_real

SELECT (GET_FORMAT(TIME,'JIS') DIV ATAN (TRUNCATE (0,'2000000000000000' DIV SIN(1500)*NOW(5))/ROUND(-1)))DIV(-1-LOG2(1))-(-1*POWER(-1,0));

UBSAN|negation of -X cannot be represented in type 'long long int'; cast to an unsigned type to negate this value to itself|sql/item_func.cc|Item_func_round::int_op|Item_func_hybrid_field_type::val_decimal_from_int_op|Type_handler_int_result::Item_func_hybrid_field_type_val_decimal|Item_func_hybrid_field_type::val_decimal

UBSAN|negation of -X cannot be represented in type 'long long int'; cast to an unsigned type to negate this value to itself|sql/item_func.cc|Item_func_round::int_op|Item_func_hybrid_field_type::val_decimal_from_int_op|VDec::VDec|VDec2_lazy::VDec2_lazy

--error ER_DATA_OUT_OF_RANGE

SELECT (1 DIV(-1/POW(807,14))*1);

main.test                                [ fail ]  Found warnings/errors in server log file!

        Test ended at 2023-06-28 12:10:30

line

/test/10.6_dbg_san/sql/item_func.cc:1407:6: runtime error: negation of -9223372036854775808 cannot be represented in type 'long long int'; cast to an unsigned type to negate this value to itself

/test/10.6_dbg_san/sql/item_func.cc:1438:8: runtime error: negation of -9223372036854775808 cannot be represented in type 'long long int'; cast to an unsigned type to negate this value to itself

^ Found warnings in /test/UBASAN_MD120523-mariadb-10.6.14-linux-x86_64-dbg/mysql-test/var/log/mysqld.1.err

 /*

    First check whether the result can be represented as a

    (bool unsigned_flag, longlong value) pair, then check if it is compatible

    with this Item's unsigned_flag by calling check_integer_overflow().

    Let a = a1 * 2^32 + a0 and b = b1 * 2^32 + b0. Then

    a * b = (a1 * 2^32 + a0) * (b1 * 2^32 + b0) = a1 * b1 * 2^64 +

            + (a1 * b0 + a0 * b1) * 2^32 + a0 * b0;

    We can determine if the above sum overflows the ulonglong range by

    sequentially checking the following conditions:

    1. If both a1 and b1 are non-zero.

    2. Otherwise, if (a1 * b0 + a0 * b1) is greater than ULONG_MAX.

    3. Otherwise, if (a1 * b0 + a0 * b1) * 2^32 + a0 * b0 is greater than

    ULONGLONG_MAX.

    Since we also have to take the unsigned_flag for a and b into account,

    it is easier to first work with absolute values and set the

    correct sign later.

  */

  if (!args[0]->unsigned_flag && a < 0)

  {

    a_negative= TRUE;

    a= -a;                                           # <<<<<<<< Line 1407

  }

  if (!args[1]->unsigned_flag && b < 0)

  {

    b_negative= TRUE;

    b= -b;  }

  a0= 0xFFFFFFFFUL & a;

  a1= ((ulonglong) a) >> 32;

  b0= 0xFFFFFFFFUL & b;

  b1= ((ulonglong) b) >> 32;

  if (a1 && b1)

    goto err;

  res1= (ulonglong) a1 * b0 + (ulonglong) a0 * b1;

  if (res1 > 0xFFFFFFFFUL)

    goto err;

  res1= res1 << 32;

  res0= (ulonglong) a0 * b0;

  if (test_if_sum_overflows_ull(res1, res0))

    goto err;

  res= res1 + res0;

  if (a_negative != b_negative)

  {

    if ((ulonglong) res > (ulonglong) LONGLONG_MIN + 1)

      goto err;

    res= -res;                                           # <<<<<<<< Line 1438

  }

  else

    res_unsigned= TRUE;