This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
preview of the tree-check pass (Re: gcc project)
- From: Nic Volanschi <nic dot volanschi at free dot fr>
- To: gcc at gcc dot gnu dot org
- Cc: Nic Volanschi <nic dot volanschi at free dot fr>
- Date: Tue, 04 Apr 2006 23:08:37 +0200
- Subject: preview of the tree-check pass (Re: gcc project)
- References: <1143495304.8144.1.camel@localhost.localdomain> <442954E6.9020500@redhat.com>
OK, I have put a preview of the tree-check pass (performing lightweight
user-defined checks) on:
http://mygcc.free.fr.
Any comments are welcome.
Nic.
On Tue, 2006-03-28 at 17:23, Diego Novillo wrote:
> On 03/27/06 16:35, Nic Volanschi wrote:
>
> > The checks are specified using a new option --tree-check, and are
> > powerful enough to express user-defined memory leaks, null pointer
> > dereferences, unreleased locks, etc., but also more basic checks such
> > as using an unsafe construct.
[...]
> I'd be very interested in taking a look at what you've done. Perhaps
> the best approach for you now is to get this code into a branch. We
> already are in a "no new features" stage for 4.2.
>