Handle recursive restrict pointer in create_variable_info_for_1
2015-10-26 Tom de Vries <tom@codesourcery.com>
* tree-ssa-structalias.c (create_variable_info_for_1): Enable recursive
handling of restrict pointers.
* gcc.dg/tree-ssa/restrict-7.c: New test.
---
gcc/testsuite/gcc.dg/tree-ssa/restrict-7.c | 12 ++++++++++++
gcc/tree-ssa-structalias.c | 2 +-
2 files changed, 13 insertions(+), 1 deletion(-)
create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/restrict-7.c
new file mode 100644
@@ -0,0 +1,12 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fdump-tree-fre1" } */
+
+int
+f (int *__restrict__ *__restrict__ *__restrict__ a, int *b)
+{
+ *b = 1;
+ ***a = 2;
+ return *b;
+}
+
+/* { dg-final { scan-tree-dump-times "return 1" 1 "fre1" } } */
@@ -5728,7 +5728,7 @@ create_variable_info_for_1 (tree decl, const char *name, bool handle_param)
varinfo_t rvi;
tree heapvar = build_fake_var_decl (TREE_TYPE (decl_type));
DECL_EXTERNAL (heapvar) = 1;
- rvi = create_variable_info_for_1 (heapvar, "PARM_NOALIAS", false);
+ rvi = create_variable_info_for_1 (heapvar, "PARM_NOALIAS", true);
rvi->is_restrict_var = 1;
insert_vi_for_tree (heapvar, rvi);
insert_restrict_pointed_var (vi, rvi);
--
1.9.1