This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: ipa-pure-const fixes
- From: Jan Hubicka <hubicka at ucw dot cz>
- To: Eric Botcazou <ebotcazou at adacore dot com>
- Cc: Jan Hubicka <hubicka at ucw dot cz>, gcc-patches at gcc dot gnu dot org, mjambor at suse dot cz
- Date: Sat, 5 Jun 2010 15:30:24 +0200
- Subject: Re: ipa-pure-const fixes
- References: <20100530083853.GJ13801@kam.mff.cuni.cz> <201006051252.01107.ebotcazou@adacore.com>
Hi,
I was discussing this bit more with Richard, and I still don't see problem in
the pass. It might cause miscompilation if the error handler in Ada was both
declared noreturn and had no side effects in it. (i.e. Ada had gimple
representation of termination of program that is not recognized as side effect
by pure-const pass). This would be a bug.
Can I have a testcase and way how to compile it? Or at least
-fdump-ipa-all-details output of pure-const pass where it cause miscompilation?
Honza