------- Comment #1 from manu at gcc dot gnu dot org 2010-06-16 11:54 -------
Value range-propagation (VRP) does not work on disjoint ranges, so the compiler
does not actually know that argc can only be 1, 2 or 4. I think there is
already a PR about this but I cannot find it right now.
--
manu at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |manu at gcc dot gnu dot org
OtherBugsDependingO| |24639
nThis| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44547
