| /* PR tree-optimization/50613 */ | |
| /* { dg-do compile } */ | |
| /* { dg-options "-O2 -fno-tree-ccp" } */ | |
| #include "strlenopt.h" | |
| char buf[26]; | |
| static inline void | |
| bar (char *__restrict dest, const char *__restrict src) | |
| { | |
| strcpy (dest, src); | |
| } | |
| void | |
| foo (char *p) | |
| { | |
| if (strlen (p) < 50) | |
| bar (buf, p); | |
| } |