c++/3780: -Wswitch not working

[rodrigc@gcc.gnu.org]

Synopsis: -Wswitch not working

State-Changed-From-To: open->feedback
State-Changed-By: rodrigc
State-Changed-When: Sat Sep 15 21:30:40 2001
State-Changed-Why:
    If you have a patch which solves this problem, can you:
    
    (1) Read http://gcc.gnu.org/contribute.html , and create a patch.
    
    (2) Create a ChangeLog entry in a format similar to
    http://www.gnu.org/software/changelogs/gcc/gcc-3.0/gcc/ChangeLog
    
    (3) Submit your patch to gcc-patches@gcc.gnu.org where it will
        enter the queue of patches to be evaluated for gcc.
    
    I'll keep a reference to your patch on this PR.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=3780&database=gcc