mirror of
https://github.com/MariaDB/server.git
synced 2025-01-17 20:42:30 +01:00
Windows : fix a warning in popular header file
This commit is contained in:
parent
434e283507
commit
a73b55a9f8
2 changed files with 2 additions and 2 deletions
|
@ -174,7 +174,7 @@ page_zip_rec_needs_ext(
|
|||
ulint zip_size) /*!< in: compressed page size in bytes, or 0 */
|
||||
{
|
||||
ut_ad(rec_size
|
||||
> (comp ? REC_N_NEW_EXTRA_BYTES : REC_N_OLD_EXTRA_BYTES));
|
||||
> (ulint)(comp ? REC_N_NEW_EXTRA_BYTES : REC_N_OLD_EXTRA_BYTES));
|
||||
ut_ad(ut_is_2pow(zip_size));
|
||||
ut_ad(comp || !zip_size);
|
||||
|
||||
|
|
|
@ -174,7 +174,7 @@ page_zip_rec_needs_ext(
|
|||
ulint zip_size) /*!< in: compressed page size in bytes, or 0 */
|
||||
{
|
||||
ut_ad(rec_size
|
||||
> (comp ? REC_N_NEW_EXTRA_BYTES : REC_N_OLD_EXTRA_BYTES));
|
||||
> (ulint)(comp ? REC_N_NEW_EXTRA_BYTES : REC_N_OLD_EXTRA_BYTES));
|
||||
ut_ad(ut_is_2pow(zip_size));
|
||||
ut_ad(comp || !zip_size);
|
||||
|
||||
|
|
Loading…
Reference in a new issue