diff options
| author | Andrew MacLeod <amacleod@redhat.com> | 2021-10-15 12:26:13 -0400 |
|---|---|---|
| committer | Andrew MacLeod <amacleod@redhat.com> | 2021-10-21 09:28:22 -0400 |
| commit | 434ebc1e08b1d83ecd3622ee2a3c7270869bda52 (patch) | |
| tree | 59779b12cacdc400d1a479f96da42b4d54df0f4f /gcc/tree-vrp.h | |
| parent | b4702276615ff8d43bc910e7a54fdd850ad8d461 (diff) | |
| download | gcc-434ebc1e08b1d83ecd3622ee2a3c7270869bda52.zip gcc-434ebc1e08b1d83ecd3622ee2a3c7270869bda52.tar.gz gcc-434ebc1e08b1d83ecd3622ee2a3c7270869bda52.tar.bz2 | |
Move ranger only VRP folder to tree-vrp.
Consolidate the RVRP folder into a single "execute_vrp" routine that mimics
the format used by the vrp1 and vrp2 passes. Relocate into the tree-vrp file.
* gimple-ssa-evrp.c (class rvrp_folder): Move to tree-vrp.c.
(execute_early_vrp): For ranger only mode, invoke ranger_vrp.
* tree-vrp.c (class rvrp_folder): Relocate here.
(execute_ranger_vrp): New.
* tree-vrp.h (execute_ranger_vrp): Export.
Diffstat (limited to 'gcc/tree-vrp.h')
| -rw-r--r-- | gcc/tree-vrp.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/tree-vrp.h b/gcc/tree-vrp.h index 3392ecc..cf379de 100644 --- a/gcc/tree-vrp.h +++ b/gcc/tree-vrp.h @@ -65,4 +65,6 @@ extern void maybe_set_nonzero_bits (edge, tree); extern wide_int masked_increment (const wide_int &val_in, const wide_int &mask, const wide_int &sgnbit, unsigned int prec); +extern unsigned int execute_ranger_vrp (struct function *fun, + bool warn_array_bounds_p = false); #endif /* GCC_TREE_VRP_H */ |