re PR middle-end/89002 (ICE in scan_omp_1_op, at omp-low.c:3166)

PR middle-end/89002
	* gimplify.c (gimplify_omp_for): When adding OMP_CLAUSE_*_GIMPLE_SEQ
	for lastprivate/linear IV, push gimplify context around gimplify_assign
	and, if it needed any temporaries, pop it into a gimple bind around the
	sequence.

	* testsuite/libgomp.c/pr89002.c: New test.

From-SVN: r268345
This commit is contained in:
Jakub Jelinek 2019-01-28 23:33:33 +01:00 committed by Jakub Jelinek
parent 62d4a355b7
commit be3a87e7b5
4 changed files with 109 additions and 1 deletions

View File

@ -1,3 +1,11 @@
2019-01-28 Jakub Jelinek <jakub@redhat.com>
PR middle-end/89002
* gimplify.c (gimplify_omp_for): When adding OMP_CLAUSE_*_GIMPLE_SEQ
for lastprivate/linear IV, push gimplify context around gimplify_assign
and, if it needed any temporaries, pop it into a gimple bind around the
sequence.
2019-01-28 Bernd Edlinger <bernd.edlinger@hotmail.de>
* common.opt (-Wattribute-alias): Remove "no-" from name.

View File

@ -11167,8 +11167,17 @@ gimplify_omp_for (tree *expr_p, gimple_seq *pre_p)
seq = &OMP_CLAUSE_LASTPRIVATE_GIMPLE_SEQ (c);
else
seq = &OMP_CLAUSE_LINEAR_GIMPLE_SEQ (c);
push_gimplify_context ();
gimplify_assign (decl, t, seq);
}
gimple *bind = NULL;
if (gimplify_ctxp->temps)
{
bind = gimple_build_bind (NULL_TREE, *seq, NULL_TREE);
*seq = NULL;
gimplify_seq_add_stmt (seq, bind);
}
pop_gimplify_context (bind);
}
}
}

View File

@ -1,3 +1,8 @@
2019-01-28 Jakub Jelinek <jakub@redhat.com>
PR middle-end/89002
* testsuite/libgomp.c/pr89002.c: New test.
2019-01-28 Richard Biener <rguenther@suse.de>
PR testsuite/89064

View File

@ -0,0 +1,86 @@
/* PR middle-end/89002 */
extern void abort (void);
int
foo (int x)
{
int a;
int *p = &a;
#pragma omp taskloop lastprivate (a)
for (a = 0; a < x; ++a)
;
return *p;
}
int
bar (int x)
{
int a;
int *p = &a;
#pragma omp parallel
#pragma omp single
#pragma omp taskloop lastprivate (a)
for (a = 0; a < x; ++a)
;
return *p;
}
int
main ()
{
#pragma omp parallel
#pragma omp single
{
if (foo (4) != 4)
abort ();
}
if (bar (6) != 6)
abort ();
return 0;
}
/* PR middle-end/89002 */
extern void abort (void);
int
foo (int x)
{
int a;
int *p = &a;
#pragma omp taskloop lastprivate (a)
for (a = 0; a < x; ++a)
;
return *p;
}
int
bar (int x)
{
int a;
int *p = &a;
#pragma omp parallel
#pragma omp single
#pragma omp taskloop lastprivate (a)
for (a = 0; a < x; ++a)
;
return *p;
}
int
main ()
{
#pragma omp parallel
#pragma omp single
{
if (foo (4) != 4)
abort ();
}
if (bar (6) != 6)
abort ();
return 0;
}