[Bug middle-end/59125] [4.8/4.9 Regression] gcc triggers wrong strncpy_chk

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59125

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
It doesn't work that easily.  But we could "refine" a folding result without
actually doing the folding by adding an additional argument to the builtin
which serves as a (sofar) known maximum/minimum value.