[Bug ada/14864] New: ICE: verify_flow_info: REG_BR_PROB does not match cfg 9667 333

[Bug ada/14864] New: ICE: verify_flow_info: REG_BR_PROB does not match cfg 9667 333

[gcc-bugzilla at gcc dot gnu dot org]

$ gcc -c -gnatn -O2 beta.adb
beta.adb: In function `Beta.T':
beta.adb:16: error: verify_flow_info: REG_BR_PROB does not match cfg 9667 333
+===========================GNAT BUG DETECTED==============================+
| 3.5.0 20040330 (experimental) (i686-pc-linux-gnu) verify_flow_info failed|
| Error detected at beta.adb:16:8                                          |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| Include the entire contents of this bug box in the report.               |
| Include the exact gcc or gnatmake command that you entered.              |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
+==========================================================================+

Please include these source files with error report
Note that list may not be accurate in some cases,
so please double check that the problem can still
be reproduced with the set of files listed.

beta.adb
beta.ads
alpha.ads
alpha.adb

beta.adb:10:07: warning: "X" is never assigned a value
compilation abandoned

--chop here--
package Alpha is
   type A_B_Type is (A,B);

   function "not" (AB : A_B_Type) return A_B_Type;
   pragma Inline ("not");

   function A_Or_B (X : Float) return A_B_Type;
   pragma Inline (A_Or_B);

   function C return Integer;
   pragma Inline (C);
end Alpha;

package body Alpha is
   function "not" (AB : A_B_Type) return A_B_Type is
   begin
      case AB is
         when B => return A;
         when A => return B;
      end case;
   end "not";

   function A_Or_B (X : Float) return A_B_Type is
   begin
      if X < 0.0 then
         return A;
      elsif X > 0.0 then
         return B;
      else
         return B;
      end if;
   end A_Or_B;

   function C return Integer is
   begin
      return 1;
   end C;
end Alpha;

package Beta is
   pragma Elaborate_Body;
end Beta;

with Alpha;
package body Beta is

   use Alpha;

   task T;

   task body T is
      X  : Float;
      AB : A_B_Type;
   begin
      for K in 1 .. C loop
         AB := not A_Or_B (X);
      end loop;
   end T;

end Beta;

Environment:
System: Linux pbaldrick 2.4.21-199-default #1 Fri Mar 12 08:27:41 UTC 2004 i686 i686 i386 GNU/Linux
Architecture: i686

	
host: i686-pc-linux-gnu
build: i686-pc-linux-gnu
target: i686-pc-linux-gnu
configured with: ../gcc/configure --prefix=/usr/gnat-cvs --enable-threads=gnat --enable-languages=ada,c

How-To-Repeat:
gcc -c -gnatn -O2 beta.adb
------- Additional Comments From duncan dot sands at free dot fr  2004-04-06 12:25 -------
Fix:
Compile without inlining.

-- 
           Summary: ICE: verify_flow_info: REG_BR_PROB does not match cfg
                    9667 333
           Product: gcc
           Version: 3.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: duncan dot sands at free dot fr
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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

[Bug optimization/14864] [3.5? Regression] ICE: verify_flow_info: REG_BR_PROB does not match cfg 9667 333

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|ada                         |optimization
           Keywords|                            |ice-on-valid-code
            Summary|ICE: verify_flow_info:      |[3.5? Regression] ICE:
                   |REG_BR_PROB does not match  |verify_flow_info:
                   |cfg 9667 333                |REG_BR_PROB does not match
                   |                            |cfg 9667 333
   Target Milestone|---                         |3.5.0


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

[Bug rtl-optimization/14864] [3.5? Regression] ICE: verify_flow_info: REG_BR_PROB does not match cfg 9667 333

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-07-17 03:58 -------
Well for this to be checked, we have to depend on Ada actually building.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |15416


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

[Bug rtl-optimization/14864] [3.5? Regression] ICE: verify_flow_info: REG_BR_PROB does not match cfg 9667 333

[charlet at gcc dot gnu dot org]

-- 
Bug 14864 depends on bug 15416, which changed state.

Bug 15416 Summary: Can't bootstrap the gcc-3.5 Ada compiler
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15416

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED

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

[Bug rtl-optimization/14864] [4.0? Regression] ICE: verify_flow_info: REG_BR_PROB does not match cfg 9667 333

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[3.5? Regression] ICE:      |[4.0? Regression] ICE:
                   |verify_flow_info:           |verify_flow_info:
                   |REG_BR_PROB does not match  |REG_BR_PROB does not match
                   |cfg 9667 333                |cfg 9667 333


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

[Bug rtl-optimization/14864] [4.0? Regression] ICE: verify_flow_info: REG_BR_PROB does not match cfg 9667 333

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2004-10-07 09:17 -------
Duncan, can you please double-check if this bug is still actual?

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING


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

[Bug rtl-optimization/14864] [4.0? Regression] ICE: verify_flow_info: REG_BR_PROB does not match cfg 9667 333

[duncan dot sands at free dot fr]

------- Additional Comments From duncan dot sands at free dot fr  2004-10-07 16:19 -------
This bug is no longer present:  
$ gcc -v  
Reading specs from /usr/gnat-ssa/lib/gcc/i686-pc-linux-gnu/4.0.0/specs  
Configured with: ../gcc/configure --prefix=/usr/gnat-ssa  
--enable-languages=ada,c  
Thread model: posix  
gcc version 4.0.0 20041005 (experimental)  
$ gcc -c -gnatn -O2 beta.adb  
beta.adb:10:07: warning: "X" is never assigned a value  

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |RESOLVED
         Resolution|                            |FIXED


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