diff options
| author | Richard Biener <rguenther@suse.de> | 2021-04-14 10:26:33 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2021-04-14 13:39:33 +0200 |
| commit | 3330e673959d44e5c7663956803e1e7a703dd626 (patch) | |
| tree | 1795a39681731185da209bcb82c1bc54d3207388 /gcc/tree-cfg.c | |
| parent | e4fd26d647ee526f11e8ca8d59536d2f67119b9a (diff) | |
| download | gcc-3330e673959d44e5c7663956803e1e7a703dd626.zip gcc-3330e673959d44e5c7663956803e1e7a703dd626.tar.gz gcc-3330e673959d44e5c7663956803e1e7a703dd626.tar.bz2 | |
VEC_COND_EXPR verification adjustment
This adjusts GIMPLE verification with respect to the VEC_COND_EXPR
changes forcing a split out condition.
2021-04-14 Richard Biener <rguenther@suse.de>
* tree-cfg.c (verify_gimple_assign_ternary): Verify that
VEC_COND_EXPRs have a gimple_val condition.
* tree-ssa-propagate.c (valid_gimple_rhs_p): VEC_COND_EXPR
can no longer have a GENERIC condition.
Diffstat (limited to 'gcc/tree-cfg.c')
| -rw-r--r-- | gcc/tree-cfg.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index 7e3aae5..4f63aa6 100644 --- a/gcc/tree-cfg.c +++ b/gcc/tree-cfg.c @@ -4246,6 +4246,8 @@ verify_gimple_assign_ternary (gassign *stmt) debug_generic_expr (rhs1_type); return true; } + if (!is_gimple_val (rhs1)) + return true; /* Fallthrough. */ case COND_EXPR: if (!is_gimple_val (rhs1) |