From 18c90eaa25363d34b5bef444fbbad04f5da2522d Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Thu, 7 Sep 2023 11:17:04 +0200 Subject: middle-end: Avoid calling targetm.c.bitint_type_info inside of gcc_assert [PR102989] On Thu, Sep 07, 2023 at 10:36:02AM +0200, Thomas Schwinge wrote: > Minor comment/question: are we doing away with the property that > 'assert'-like "calls" must not have side effects? Per 'gcc/system.h', > this is "OK" for 'gcc_assert' for '#if ENABLE_ASSERT_CHECKING' or > '#elif (GCC_VERSION >= 4005)' -- that is, GCC 4.5, which is always-true, > thus the "offending" '#else' is never active. However, it's different > for standard 'assert' and 'gcc_checking_assert', so I'm not sure if > that's a good property for 'gcc_assert' only? For example, see also > "warn about asserts with side effects", or > recent > "RFE: could -fanalyzer warn about assertions that have side effects?". You're right, the #define gcc_assert(EXPR) ((void)(0 && (EXPR))) fallback definition is incompatible with the way I've used it, so for --disable-checking built by non-GCC it would not work properly. 2023-09-07 Jakub Jelinek PR c/102989 * expr.cc (expand_expr_real_1): Don't call targetm.c.bitint_type_info inside gcc_assert, as later code relies on it filling info variable. * gimple-fold.cc (clear_padding_bitint_needs_padding_p, clear_padding_type): Likewise. * varasm.cc (output_constant): Likewise. * fold-const.cc (native_encode_int, native_interpret_int): Likewise. * stor-layout.cc (finish_bitfield_representative, layout_type): Likewise. * gimple-lower-bitint.cc (bitint_precision_kind): Likewise. --- gcc/gimple-fold.cc | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'gcc/gimple-fold.cc') diff --git a/gcc/gimple-fold.cc b/gcc/gimple-fold.cc index a25b2fd..04d9fac 100644 --- a/gcc/gimple-fold.cc +++ b/gcc/gimple-fold.cc @@ -4602,7 +4602,8 @@ static bool clear_padding_bitint_needs_padding_p (tree type) { struct bitint_info info; - gcc_assert (targetm.c.bitint_type_info (TYPE_PRECISION (type), &info)); + bool ok = targetm.c.bitint_type_info (TYPE_PRECISION (type), &info); + gcc_assert (ok); if (info.extended) return false; scalar_int_mode limb_mode = as_a (info.limb_mode); @@ -4880,7 +4881,8 @@ clear_padding_type (clear_padding_struct *buf, tree type, case BITINT_TYPE: { struct bitint_info info; - gcc_assert (targetm.c.bitint_type_info (TYPE_PRECISION (type), &info)); + bool ok = targetm.c.bitint_type_info (TYPE_PRECISION (type), &info); + gcc_assert (ok); scalar_int_mode limb_mode = as_a (info.limb_mode); if (TYPE_PRECISION (type) <= GET_MODE_PRECISION (limb_mode)) { -- cgit v1.1