------- 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