Re: Problem in split_basic_block

[Olivier Hainque <hainque at act-europe dot fr>]

Hello,

Richard Henderson wrote:
> [sherman:/scratch/rth/build/vms/gcc/ada] ../gnat1 -O2 [...] a-calend.adb
> 
> So was I expecting a crash, or something?
 
We now understand why you did not see the crash with Ada, and eventually came
up with a tiny C++ testcase exhibiting the issue Richard Kenner raised.

Using the same compiler, could you please try to compile the reproducer below
with -fnon-call-exceptions:

     // foo.cc
     void hook (void)
     {
     }

     void foo (void)
     {
       int x, y;

       try {
	 y = 0;
       } catch (...) {
	 hook ();
       }
     }

We are seeing this:

 $ ./cc1plus -fnon-call-exceptions foo.cc
 void hook()
 void hook()
 void foo()
 void foo()

foo.cc:15: error: Call edges for non-call insn in bb 9
foo.cc:15: internal compiler error: verify_flow_info failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

Thanks in advance,

Olivier