diff --git a/gcc/gimple-ssa-warn-access.cc b/gcc/gimple-ssa-warn-access.cc index 950d96bf9d62f318773af490ef0176fe5ea22082..5061af389c23d63f806837ab8c174e98c0a8d031 100644 --- a/gcc/gimple-ssa-warn-access.cc +++ b/gcc/gimple-ssa-warn-access.cc @@ -607,7 +607,8 @@ maybe_warn_nonstring_arg (tree fndecl, GimpleOrTree exp) { if (tree arrbnd = TYPE_DOMAIN (type)) { - if ((arrbnd = TYPE_MAX_VALUE (arrbnd))) + if ((arrbnd = TYPE_MAX_VALUE (arrbnd)) + && TREE_CODE (arrbnd) == INTEGER_CST) { asize = wi::to_offset (arrbnd) + 1; known_size = true; diff --git a/gcc/testsuite/gcc.dg/pr117254.c b/gcc/testsuite/gcc.dg/pr117254.c new file mode 100644 index 0000000000000000000000000000000000000000..c7a510677f13a9f4e2b9904083db103df8f03a04 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr117254.c @@ -0,0 +1,10 @@ +/* { dg-do compile } */ +/* { dg-options "" } */ + +int g; +void e(int s) { + struct { + __attribute__((nonstring)) char bn[g]; + } f; + __builtin_strncpy (f.bn, f.bn, s); +}