[Bug tree-optimization/81694] VRP optimization may introduce buffer overflow vulnerabilities into applications

[scdengyuan at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81694

Yuan Deng <scdengyuan at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |VERIFIED

--- Comment #4 from Yuan Deng <scdengyuan at gmail dot com> ---
Inspite of val is overflowed or not, the later check should have avoid this:
if( m_var > 0 && m_index > 0 && m_index < (1 << 16))

but did not!
I thin it's a very serious problem.