[Bug other/32358] Acovea finds bugs in GCC 4.3.0 and problems with default optimizations levels

["rob1weld at aol dot com" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #2 from rob1weld at aol dot com  2007-06-15 16:53 -------
When I used Acovea-5.1.1 it found that "-fipa-pta" always causes an ICE with
"-O" > zero.


Here is the complete documentation for the feature:

# grep -B1 -A2 ipa-pta /usr/test/info/gcc.info
`-fipa-pta'
     Perform interprocedural pointer analysis.



Here is an example that also fails (not what I was testing):

# cat test_1.c 
main() {
  printf("Hello\n");
}



# /usr/test/bin/gcc -O0 -fipa-pta -o delete_this test_1.c
test_1.c: In function 'main':
test_1.c:2: warning: incompatible implicit declaration of built-in function
'printf'
#

# /usr/test/bin/gcc -O1 -fipa-pta -o delete_this test_1.c
test_1.c: In function 'main':
test_1.c:2: warning: incompatible implicit declaration of built-in function
'printf'
test_1.c:3: error: stmt (0xb7cd0084) marked modified after optimization pass: 
__builtin_puts (&"Hello"[0]);
test_1.c:3: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
#

# /usr/test/bin/gcc -O2 -fipa-pta -o delete_this test_1.c
test_1.c: In function 'main':
test_1.c:2: warning: incompatible implicit declaration of built-in function
'printf'
test_1.c:3: error: stmt (0xb7ca6084) marked modified after optimization pass: 
__builtin_puts (&"Hello"[0]);
test_1.c:3: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
#

etc.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32358