]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
lto-streamer-in: Adjust assert [PR102989]
authorJakub Jelinek <jakub@redhat.com>
Thu, 10 Aug 2023 07:23:08 +0000 (09:23 +0200)
committerJakub Jelinek <jakub@redhat.com>
Thu, 10 Aug 2023 07:23:08 +0000 (09:23 +0200)
With _BitInt(575) or any other _BitInt(513) or larger constants we can
run into this assertion.  MAX_BITSIZE_MODE_ANY_INT is just a value from
which WIDE_INT_MAX_PRECISION is derived.

2023-08-10  Jakub Jelinek  <jakub@redhat.com>

PR c/102989
* lto-streamer-in.cc (lto_input_tree_1): Assert TYPE_PRECISION
is up to WIDE_INT_MAX_PRECISION rather than MAX_BITSIZE_MODE_ANY_INT.

gcc/lto-streamer-in.cc

index 1876e1967ec04bb07f5aa37a3d053950b904e1a6..0cce14414ca8c6f38a705108d9d2e08e5c964840 100644 (file)
@@ -1888,7 +1888,7 @@ lto_input_tree_1 (class lto_input_block *ib, class data_in *data_in,
 
       for (i = 0; i < len; i++)
        a[i] = streamer_read_hwi (ib);
-      gcc_assert (TYPE_PRECISION (type) <= MAX_BITSIZE_MODE_ANY_INT);
+      gcc_assert (TYPE_PRECISION (type) <= WIDE_INT_MAX_PRECISION);
       result = wide_int_to_tree (type, wide_int::from_array
                                 (a, len, TYPE_PRECISION (type)));
       streamer_tree_cache_append (data_in->reader_cache, result, hash);