https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126193
Bug ID: 126193
Summary: [17 Regression] openmp: Pass iteration count to static
worksharing builtins for OMPT:
'c-c++-common/analyzer/omp-parallel-for-1.c'
Product: gcc
Version: 17.0
Status: UNCONFIRMED
Keywords: openmp, testsuite-fail
Severity: normal
Priority: P3
Component: analyzer
Assignee: unassigned at gcc dot gnu.org
Reporter: tschwinge at gcc dot gnu.org
CC: dmalcolm at gcc dot gnu.org, parras at gcc dot gnu.org
Target Milestone: ---
As raised in
<https://inbox.sourceware.org/[email protected]> "Re:
[PATCH] openmp: Pass iteration count to static worksharing builtins for OMPT".
Unexpectedly, commit r17-2289-gf167db1fa47db24fdb93e9ef75c2786245702e09
"openmp: Pass iteration count to static worksharing builtins for OMPT"
regresses:
[-PASS:-]{+FAIL:+} c-c++-common/analyzer/omp-parallel-for-1.c (test for
excess errors)
... due to:
[...]/c-c++-common/analyzer/omp-parallel-for-1.c: In function
'test._omp_fn.0':
[...]/c-c++-common/analyzer/omp-parallel-for-1.c:16:9: warning: symbol too
complicated: 'WIDENING({SN 17},
(INIT_VAL((*INIT_VAL((*INIT_VAL(.omp_data_i_5(D))).image)).rows)/(realpart_exprCONST_FN_RESULT('__builtin_GOMP_loop_static_worksharing',
{arg0: CAST(long long unsigned int,
INIT_VAL((*INIT_VAL((*INIT_VAL(.omp_data_i_5(D))).image)).rows))}))),
((INIT_VAL((*INIT_VAL((*INIT_VAL(.omp_data_i_5(D))).image)).rows)/(realpart_exprCONST_FN_RESULT('__builtin_GOMP_loop_static_worksharing',
{arg0: CAST(long long unsigned int,
INIT_VAL((*INIT_VAL((*INIT_VAL(.omp_data_i_5(D))).image)).rows))})))+(int)1))'
[-Wanalyzer-symbol-too-complex]
[...]/c-c++-common/analyzer/omp-parallel-for-1.c:16:9: note: max_depth 19
exceeds --param=analyzer-max-svalue-depth=18
David, do you have any better recommendation instead of doing what GCC/Analyzer
kind-of suggests?
+/* { dg-additional-options --param=analyzer-max-svalue-depth=19 } */
Curiously, I see that regression only for C, but not for C++ compilation of the
'c-c++-common/analyzer/omp-parallel-for-1.c' test case. (That seems
suspicious?)
