gcc-4.4-20110412 is now available

2011-04-12 Thread gccadmin
Snapshot gcc-4.4-20110412 is now available on ftp://gcc.gnu.org/pub/gcc/snapshots/4.4-20110412/ and on various mirrors, see http://gcc.gnu.org/mirrors.html for details. This snapshot has been generated from the GCC 4.4 SVN branch with the following options: svn://gcc.gnu.org/svn/gcc/branches

gcc4.6.0:combining operate+test

2011-04-12 Thread cirrus75
Hi All, I have been looking at a case in x86 architecture where gcc could generate better code for: if(a+=25) d=c; Insns for operation and test are: (insn 5 2 6 2 (set (reg:SI 62 [ a ]) (mem/c/i:SI (symbol_ref:DI ("a") ) [2 a+0 S4 A32])) test_and.c:9 64 {*movsi_internal}

Re: Question about static code analysis features in GCC

2011-04-12 Thread Jeff Law
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 04/12/11 13:33, Hargett, Matt wrote: > Hey Sarah, > > Many array bounds and format string problems can already be found, especially > with LTO, ClooG, loop-unrolling, and -O3 enabled. Seeing across object-file > boundaries, understanding loop bou

RE: Question about static code analysis features in GCC

2011-04-12 Thread Hargett, Matt
Hey Sarah, Many array bounds and format string problems can already be found, especially with LTO, ClooG, loop-unrolling, and -O3 enabled. Seeing across object-file boundaries, understanding loop boundaries, and aggressive inlining allows GCC to warn about a lot of real-world vulnerabilities. W

Announce: MELT plugin (0.7) release candidate 1 for GCC 4.6

2011-04-12 Thread Basile Starynkevitch
Hello All I am announcing the release candidate #1 of the MELT plugin, replacing the rc0 of http://gcc.gnu.org/ml/gcc/2011-04/msg00166.html You can download a gzipped tar ball of MELT 0.7 as a plugin for GCC 4.6 from http://gcc-melt.org/melt-0.7rc1-plugin-for-gcc-4.6.tgz a gzip-ed tar archive o

Re: Question about static code analysis features in GCC

2011-04-12 Thread Richard Guenther
On Tue, Apr 12, 2011 at 10:00 AM, sa...@hederstierna.com wrote: > Hi > > Richard, I've implemented a simple nop-pass as you described and are now > investigating a path forward for static code analysis. > I'm trying to modify eg. cp-pass to be able to call these workers from my > analysis pass.

packaging MELT plugin documentation (GFDL for melt.texi, GPL for generated meltgendoc.texi) ?

2011-04-12 Thread Basile Starynkevitch
Hello All, Since I am releasing MELT as a plugin (GPLv3+ licensed, FSF copyrighted), I would like to package the documentation, by changing the contrib/make-melt-source-tar.sh shell script of the MELT branch so that it packages appropriate *.texi files. As you probably know, MELT documentation i

RE: Question about static code analysis features in GCC

2011-04-12 Thread sa...@hederstierna.com
Hi Richard, I've implemented a simple nop-pass as you described and are now investigating a path forward for static code analysis. I'm trying to modify eg. cp-pass to be able to call these workers from my analysis pass. I found some other work though done by Alexander Ivanov Sotirov called "Vu