From ac5e46563817f4f1bd786be1d21b85d18e61bc0c Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Wed, 20 Oct 2021 12:54:59 +0200 Subject: [PATCH] tree-optimization/102853 - avoid trapping types in split_constant_offset This avoids running into the assert in compute_distributive_range when starting the analysis with operations in a trapping type. 2021-10-20 Richard Biener PR tree-optimization/102853 * tree-data-ref.c (split_constant_offset_1): Bail out immediately if the expression traps on overflow. --- gcc/tree-data-ref.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/gcc/tree-data-ref.c b/gcc/tree-data-ref.c index 57bac06242f..46f4ffedb48 100644 --- a/gcc/tree-data-ref.c +++ b/gcc/tree-data-ref.c @@ -757,6 +757,9 @@ split_constant_offset_1 (tree type, tree op0, enum tree_code code, tree op1, *var = NULL_TREE; *off = NULL_TREE; + if (INTEGRAL_TYPE_P (type) && TYPE_OVERFLOW_TRAPS (type)) + return false; + switch (code) { case INTEGER_CST: