This is the mail archive of the
mailing list for the GCC project.
Re: Ada files now checked in
- To: dnovillo at redhat dot com, zack at codesourcery dot com
- Subject: Re: Ada files now checked in
- From: dewar at gnat dot com
- Date: Sun, 7 Oct 2001 08:03:12 -0400 (EDT)
- Cc: bosch at gnat dot com, dewar at gnat dot com, gcc at gcc dot gnu dot org,kenner at vlsi1 dot ultra dot nyu dot edu
<<I notice it says "_is_ used uninitialized". Does that mean you've
eliminated the old false positive problems?
You can't eliminate false positives, without also correct messages (if
you think you can, I have a Turing machine with a tape here to send
off to you ..... :-)