https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79986
Marek Polacek <mpolacek at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2017-03-10
CC| |mpolacek at gcc dot gnu.org
Ever confirmed|0 |1
--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed. The bug seems to be that chkp_process_stmt won't handle
char[<unknown>] arrays. I don't know if chkp should skip them or process
somehow.
