diff mbox series

[2/12] lto-streamer-in: Adjust assert [PR102989]

Message ID	ZNPX2msMcQsvxzgO@tucnak
State	Unresolved
Headers	Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) client-ip=2620:52:3:1:0:246e:9693:128c; DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 48F953857B93 Date: Wed, 9 Aug 2023 20:15:54 +0200 To: Richard Biener <rguenther@suse.de> Cc: gcc-patches@gcc.gnu.org Subject: [PATCH 2/12] lto-streamer-in: Adjust assert [PR102989] Message-ID: <ZNPX2msMcQsvxzgO@tucnak> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Precedence: list From: Jakub Jelinek via Gcc-patches <gcc-patches@gcc.gnu.org> Reply-To: Jakub Jelinek <jakub@redhat.com> Errors-To: gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org Sender: "Gcc-patches" <gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org> X-getmail-retrieved-from-mailbox: INBOX
Series	GCC _BitInt support [PR102989] \| [0/12] GCC _BitInt support [PR102989] [1/12] expr: Small optimization [PR102989] [2/12] lto-streamer-in: Adjust assert [PR102989] [3/12] phiopt: Fix phiopt ICE on vops [PR102989] [4/12] Middle-end _BitInt support [PR102989] [5/12] _BitInt lowering support [PR102989] [6/12] i386: Enable _BitInt on x86-64 [PR102989] [7/12] ubsan: _BitInt -fsanitize=undefined support [PR102989] [8/12] libgcc: Generated tables for _BitInt <-> _Decimal* conversions [PR102989] [9/12] libgcc _BitInt support [PR102989] [10/12] C _BitInt support [PR102989] [11/12] testsuite part 1 for _BitInt support [PR102989] [12/12] testsuite part 2 for _BitInt support [PR102989] [13/12] C _BitInt incremental fixes [PR102989] [14/12] libgcc _BitInt helper documentation [PR102989]

Checks

Context	Check	Description
snail/gcc-patch-check	warning	Git am fail log

Commit Message

Jakub Jelinek Aug. 9, 2023, 6:15 p.m. UTC

  Hi!

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-09  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.


	Jakub

Comments

Richard Biener Aug. 10, 2023, 7:19 a.m. UTC | #1

On Wed, 9 Aug 2023, Jakub Jelinek wrote:

> Hi!
> 
> 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.

OK.

Richard.

> 2023-08-09  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.jj	2023-07-17 09:07:42.078283882 +0200
> +++ gcc/lto-streamer-in.cc	2023-07-27 15:03:24.255234159 +0200
> @@ -1888,7 +1888,7 @@ lto_input_tree_1 (class lto_input_block
>  
>        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);
> 
> 	Jakub
>

diff mbox series

Patch

--- gcc/lto-streamer-in.cc.jj	2023-07-17 09:07:42.078283882 +0200
+++ gcc/lto-streamer-in.cc	2023-07-27 15:03:24.255234159 +0200
@@ -1888,7 +1888,7 @@  lto_input_tree_1 (class lto_input_block
 
       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);