PR tree-optimization/83781 - Bootstrap failed on x86 with --with-arch=corei7
PR tree-optimization/83781 - Bootstrap failed on x86 with --with-arch=corei7 --with-cpu=corei7 gcc/ChangeLog: * gimple-fold.c (get_range_strlen): Avoid treating arrays of pointers as string arrays. gcc/testsuite/ChangeLog: * gcc.dg/strlenopt-42.c: New test. From-SVN: r256477
This commit is contained in:
parent
05ef31736c
commit
1bfd6a0038
|
@ -1,3 +1,9 @@
|
||||||
|
2018-01-10 Martin Sebor <msebor@redhat.com>
|
||||||
|
|
||||||
|
PR tree-optimization/83781
|
||||||
|
* gimple-fold.c (get_range_strlen): Avoid treating arrays of pointers
|
||||||
|
as string arrays.
|
||||||
|
|
||||||
2018-01-11 Martin Sebor <msebor@gmail.com>
|
2018-01-11 Martin Sebor <msebor@gmail.com>
|
||||||
Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
|
Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
|
||||||
|
|
||||||
|
|
|
@ -1360,10 +1360,17 @@ get_range_strlen (tree arg, tree length[2], bitmap *visited, int type,
|
||||||
{
|
{
|
||||||
tree type = TREE_TYPE (TREE_OPERAND (arg, 0));
|
tree type = TREE_TYPE (TREE_OPERAND (arg, 0));
|
||||||
|
|
||||||
|
/* Determine the "innermost" array type. */
|
||||||
while (TREE_CODE (type) == ARRAY_TYPE
|
while (TREE_CODE (type) == ARRAY_TYPE
|
||||||
&& TREE_CODE (TREE_TYPE (type)) == ARRAY_TYPE)
|
&& TREE_CODE (TREE_TYPE (type)) == ARRAY_TYPE)
|
||||||
type = TREE_TYPE (type);
|
type = TREE_TYPE (type);
|
||||||
|
|
||||||
|
/* Avoid arrays of pointers. */
|
||||||
|
tree eltype = TREE_TYPE (type);
|
||||||
|
if (TREE_CODE (type) != ARRAY_TYPE
|
||||||
|
|| !INTEGRAL_TYPE_P (eltype))
|
||||||
|
return false;
|
||||||
|
|
||||||
val = TYPE_SIZE_UNIT (type);
|
val = TYPE_SIZE_UNIT (type);
|
||||||
if (!val || integer_zerop (val))
|
if (!val || integer_zerop (val))
|
||||||
return false;
|
return false;
|
||||||
|
|
|
@ -1,3 +1,8 @@
|
||||||
|
2018-01-10 Martin Sebor <msebor@redhat.com>
|
||||||
|
|
||||||
|
PR tree-optimization/83781
|
||||||
|
* gcc.dg/strlenopt-42.c: New test.
|
||||||
|
|
||||||
2018-01-11 Martin Sebor <msebor@gmail.com>
|
2018-01-11 Martin Sebor <msebor@gmail.com>
|
||||||
Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
|
Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
|
||||||
|
|
||||||
|
|
|
@ -0,0 +1,22 @@
|
||||||
|
/* PR tree-optimization/83781 - Bootstrap failed on x86 with --with-arch=corei7
|
||||||
|
--with-cpu=corei7
|
||||||
|
Verify that the upper bound of the size of an array of pointers
|
||||||
|
to strings isn't considered to be the upper bound of the lengths
|
||||||
|
of the pointed-to strings.
|
||||||
|
{ dg-do compile }
|
||||||
|
{ dg-options "-O2 -Wall" } */
|
||||||
|
|
||||||
|
const char* const ap[32] = { "1", "12", "123" };
|
||||||
|
|
||||||
|
char d4[4];
|
||||||
|
char d7[7];
|
||||||
|
|
||||||
|
void nowarn_range_ptr_var_1 (int i)
|
||||||
|
{
|
||||||
|
__builtin_sprintf (d4, "%s", ap[i]);
|
||||||
|
}
|
||||||
|
|
||||||
|
void nowarn_range_ptr_var_2 (int i, int j)
|
||||||
|
{
|
||||||
|
__builtin_sprintf (d7, "%s%s", ap[i], ap[j]);
|
||||||
|
}
|
Loading…
Reference in New Issue