From mboxrd@z Thu Jan  1 00:00:00 1970
From: rodrigc@gcc.gnu.org
To: gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, jfasch@aon.at, nobody@gcc.gnu.org, rodrigc@gcc.gnu.org
Subject: Re: c++/3780: -Wswitch not working
Date: Sat, 15 Sep 2001 21:30:00 -0000
Message-id: <20010916043040.11948.qmail@sourceware.cygnus.com>
X-SW-Source: 2001-09/msg00328.html
List-Id: <gcc-prs.sourceware.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