[PATCH] omp-parallel-for-1.c: Pass --param=analyzer-max-svalue-depth=19
"H.J. Lu" <[email protected]>
| Newsgroups | gmane.comp.gcc.patches |
|---|---|
| Message-ID | <CAMe9rOpisFr1JPpyz=gnEL4jPv+BFWkY2R=kv=fviqS36_P06Q@mail.gmail.com> |
omp-parallel-for-1.c compiled by the C compiler failed on Linux/x86-64
with
.../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
* c-c++-common/analyzer/omp-parallel-for-1.c
(dg-additional-options): Add --param=analyzer-max-svalue-depth=19.
--
H.J.
0001-omp-parallel-for-1.c-Pass-param-analyzer-max-svalue-.patch
(text/x-patch, 1.9 KB)
From 77c32ba8b45025e8a5e0a514110fa10c28c793d3 Mon Sep 17 00:00:00 2001 From: "H.J. Lu" <[email protected]> Date: Thu, 13 Aug 2026 06:06:56 +0800 Subject: [PATCH] omp-parallel-for-1.c: Pass --param=analyzer-max-svalue-depth=19 omp-parallel-for-1.c compiled by the C compiler failed on Linux/x86-64 with .../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 * c-c++-common/analyzer/omp-parallel-for-1.c (dg-additional-options): Add --param=analyzer-max-svalue-depth=19. Signed-off-by: H.J. Lu <[email protected]> --- gcc/testsuite/c-c++-common/analyzer/omp-parallel-for-1.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/testsuite/c-c++-common/analyzer/omp-parallel-for-1.c b/gcc/testsuite/c-c++-common/analyzer/omp-parallel-for-1.c index cadacc84275..0dee872f443 100644 --- a/gcc/testsuite/c-c++-common/analyzer/omp-parallel-for-1.c +++ b/gcc/testsuite/c-c++-common/analyzer/omp-parallel-for-1.c @@ -1,5 +1,5 @@ /* { dg-require-effective-target fopenmp } */ -/* { dg-additional-options "-fopenmp -Wall" } */ +/* { dg-additional-options "-fopenmp -Wall --param=analyzer-max-svalue-depth=19" } */ typedef struct _Image { -- 2.55.0