--- Comment #4 from anthony dot penniston at hotmail dot com 2010-06-17
08:16 ---
It seems that optimizing is what's causing the problem: the example compiles
fine with -O0, but not -On>=1. It also compiles fine when the case values are
consecutive, which seems telling. My fir
--- Comment #2 from anthony dot penniston at hotmail dot com 2010-06-17
01:14 ---
(In reply to comment #1)
> 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
>
e. 1,2,3 instead of
1,2,4); however if neither is the case, the compiler issues an erroneous
warning that n is uninitialized.
--
Summary: -Wuninitialized reports false warning in nested switch
statements
Product: gcc
Version: 4.5.0
Stat
