This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Undefined behavior in genautomata.c?
"Giovanni Bajo" <rasky@develer.com> writes:
| Gabriel Dos Reis <gdr@integrable-solutions.net> wrote:
|
| >>> Do you suppose the idiom is common enough that VRP could special-case
| >>> "arrays of size 1 at the end of a struct" ? And still obtain the
| benefits
| >>> of the optimisation in 99.99% of all non-variable-length-tail-array
| cases?
| >>
| >> It makes sense to me. We could special case "arrays of size 1 at the end
| of
| >> the struct", and treat it as C99 flexible array members. Any other case
| >> could simply be considered broken.
| >
| > broken with respect to what?
|
|
| broken as in undefined behaviour?
Could you explain in detail where you see the undefined behaviour?
-- Gaby