This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[PATCH] Alias analysis of zero sized arrays
- From: Steve Ellcey <sellcey at cavium dot com>
- To: gcc-patches <gcc-patches at gcc dot gnu dot org>
- Cc: Richard Biener <richard dot guenther at gmail dot com>
- Date: Tue, 25 Apr 2017 15:27:05 -0700
- Subject: [PATCH] Alias analysis of zero sized arrays
- Authentication-results: sourceware.org; auth=none
- Authentication-results: gcc.gnu.org; dkim=none (message not signed) header.d=none;gcc.gnu.org; dmarc=none action=none header.from=cavium.com;
- Reply-to: sellcey at cavium dot com
- Spamdiagnosticmetadata: NSPM
- Spamdiagnosticoutput: 1:99
This patch changes get_ref_base_and_extent to treat zero sized arrays
like C99 flexible arrays and assume that references to zero sized
arrays can also be made beyond the 'end' of the array. C99 flexible
arrays are recognized by not having an INTEGER_CST limit/size and the
routine then sets maxsize to -1 for special handling. This patch
checks for a value of 0 when we do have an INTEGER_CST limit/size and
handles it like a flexible array.
Tested with a bootstrap on aarch64 and a GCC test run with no
regressions.
I did not create a testcase because the test I have (attached) is not
runnable. If you compile this test case for aarch64 with
'-UFLEX -O2 -fno-strict-aliasing' you will get two loads, then two
stores in the main loop. In the original large program that this came
from, that generated bad code. If compiled with -DFLEX instead of
-UFLEX, you get load, store, load, store and that was working. With
this patch, both versions (-UFLEX and -DFLEX) generate the load, store,
load, store sequence.
OK for checkin?
Steve Ellcey
sellcey@cavium.com
2017-04-25 Steve Ellcey <sellcey@cavium.com>
* tree-dfa.c (get_ref_base_and_extent): Treat zero size array like
a C99 flexible array.
diff --git a/gcc/tree-dfa.c b/gcc/tree-dfa.c
index 8ee46dc..79c3489 100644
--- a/gcc/tree-dfa.c
+++ b/gcc/tree-dfa.c
@@ -438,6 +438,10 @@ get_ref_base_and_extent (tree exp, HOST_WIDE_INT *poffset,
&& TREE_CODE (size_tree) == INTEGER_CST)
bitsize = wi::to_offset (size_tree);
+ /* If zero sized array, treat it like a flexible array. */
+ if (bitsize == 0)
+ bitsize = -1;
+
/* Initially, maxsize is the same as the accessed element size.
In the following it will only grow (or become -1). */
maxsize = bitsize;
@@ -504,7 +508,13 @@ get_ref_base_and_extent (tree exp, HOST_WIDE_INT *poffset,
if (maxsize != -1
&& csize
&& TREE_CODE (csize) == INTEGER_CST)
- maxsize = wi::to_offset (csize) - bit_offset;
+ {
+ maxsize = wi::to_offset (csize) - bit_offset;
+
+ /* If zero sized array, treat it like a flexible array. */
+ if (maxsize == 0)
+ maxsize = -1;
+ }
else
maxsize = -1;
}
struct q {
int b;
};
struct r {
int n;
struct q slot[0];
};
struct s {
int n;
#ifdef FLEX
long int o[];
#else
long int o[0];
#endif
};
extern int x, y, m;
extern struct s *a;
extern struct r *b;
extern void bar();
int foo() {
int i,j;
for (i = 0; i < m; i++) {
a->o[i] = sizeof(*a);
b = ((struct r *)(((char *)a) + a->o[a->n]));
for (j = 0; j < 10; j++) {
b->slot[j].b = 0;
}
bar();
}
}