tree-check branch proposal

Richard Guenther richard.guenther@gmail.com
Wed Apr 26 22:12:00 GMT 2006


On 4/26/06, Nic <nic.volanschi@free.fr> wrote:
>
> This patch proposes to create a branch called tree-check derived from release
> 4.0.1 that implements user-defined checks on the tree/CFG form. Checks are
> expressed in native C syntax and consist of reachability properties in the
> CFG.
>
> A complete description of the tree-check pass can be found at
> http://mygcc.free.fr/ including some testcases.
>
> This patch boostraps and passes the testsuite on i686-pc-linux-gnu.

We don't do development on release branches (or branches off them). 
Please update the patch to the mainline sources.  Also you need to
have a copyright
assigment on file with the FSF to contribute to gcc, even to branches.

Thanks,
Richard.



More information about the Gcc-patches mailing list