------- Comment #1 from pinskia at gcc dot gnu dot org 2010-07-05 01:21 ------- -ftrapv checks for one undefined behavior which is not mentioned in that list. Why isn't that listed?
> # Shift operators where the amount shifted is greater or equal to the promoted bit-width of the left-hand-side or less than zero. I think C90 and C99 say slightly different things here. Really I think this is a not good option. It adds a huge overhead in some cases and does not fix a security issue. In fact it allows the developer to feel more safe when in reality they are not. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44786
