Re: c/3665: ICE in merge_blocks_move_predecessor_nojumps, at flow.c:2341

Re: c/3665: ICE in merge_blocks_move_predecessor_nojumps, at flow.c:2341

[Vladimir Kondratiev]

The following reply was made to PR c/3665; it has been noted by GNATS.

From: Vladimir Kondratiev <vladimir.kondratiev@intel.com>
To: gcc-gnats@gcc.gnu.org, gcc-prs@gcc.gnu.org, aph@cambridge.redhat.com,
   gcc-bugs@gcc.gnu.org, nobody@gcc.gnu.org, Franz.Sirl-kernel@lauterbach.com
Cc:  
Subject: Re: c/3665: ICE in merge_blocks_move_predecessor_nojumps, at flow.c:2341
Date: Tue, 26 Mar 2002 20:24:29 +0200

 This is a multi-part message in MIME format.
 --------------020808070405000206080501
 Content-Type: text/plain; charset=us-ascii; format=flowed
 Content-Transfer-Encoding: 7bit
 
 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=3665
 
 Meanwhile, if goal is to compile unixODBC with gcc 3.0.4, patch 
 attached. Tested with unixODBC 2.0.7 and 2.2.0. It changes nothing in 
 functionality, just removes one code block that do nothing.
 
 I know, proper solution is in gcc, but ...
 
 Vladimir.
 
 --------------020808070405000206080501
 Content-Type: text/plain;
  name="unixodbc.gcc3.patch"
 Content-Transfer-Encoding: 7bit
 Content-Disposition: inline;
  filename="unixodbc.gcc3.patch"
 
 --- Drivers/template/SQLSetConnectOption.c.orig	Thu Dec 13 11:33:42 2001
 +++ Drivers/template/SQLSetConnectOption.c	Tue Mar 26 15:16:34 2002
 @@ -29,6 +29,7 @@
  /*	case SQL_CONNECT_OPT_DRVR_START: */
  	case SQL_ODBC_CURSORS:
  	case SQL_OPT_TRACE:
 +#if 0
  		switch ( vParam )
  		{
  		case SQL_OPT_TRACE_ON:
 @@ -36,6 +37,7 @@
  			default:
  			;
  		}
 +#endif
  		break;
  
  	case SQL_OPT_TRACEFILE:
 
 --------------020808070405000206080501--
 

Re: c/3665: ICE in merge_blocks_move_predecessor_nojumps, at flow.c:2341

[rth]

Synopsis: ICE in merge_blocks_move_predecessor_nojumps, at flow.c:2341

State-Changed-From-To: analyzed->closed
State-Changed-By: rth
State-Changed-When: Sat Mar 30 16:51:43 2002
State-Changed-Why:
    Fixed for gcc 3.1.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=3665

Re: c/3665: ICE in merge_blocks_move_predecessor_nojumps, at flow.c:2341

[hubicka]

Synopsis: ICE in merge_blocks_move_predecessor_nojumps, at flow.c:2341

State-Changed-From-To: open->analyzed
State-Changed-By: hubicka
State-Changed-When: Fri Jul 20 05:19:30 2001
State-Changed-Why:
    I've sent patch solving the problem in 3.1.  3.0.x needs different sollution.
    Caused by ADDR_VEC happenning on the fallthru path.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=3665&database=gcc

c/3665: ICE in merge_blocks_move_predecessor_nojumps, at flow.c:2341

[Franz.Sirl-kernel]

>Number:         3665
>Category:       c
>Synopsis:       ICE in merge_blocks_move_predecessor_nojumps, at flow.c:2341
>Confidential:   no
>Severity:       serious
>Priority:       high
>Responsible:    unassigned
>State:          open
>Class:          ice-on-legal-code
>Submitter-Id:   net
>Arrival-Date:   Thu Jul 12 14:16:01 PDT 2001
>Closed-Date:
>Last-Modified:
>Originator:     Franz.Sirl-kernel@lauterbach.com
>Release:        gcc-3.0, current gcc-3.0.1, current gcc-3.1
>Organization:
>Environment:
powerpc-linux-gnu, arm-linux-gnu
>Description:
The folllowing code snippet lets gcc-3.0 and gcc-3.0.1 ICE like that:

[fsirl@enzo:/cvsx/rawhide/BUILD/unixODBC-2.0.7/Drivers/template]$ gcc -O2 -fPIC bug.c
bug.c: In function `SQLSetConnectOption':
bug.c:43: Internal compiler error in merge_blocks_move_predecessor_nojumps, at flow.c:2341
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL: http://www.gnu.org/software/gcc/bugs.html > for instructions.

With current gcc-3.1 CVS the ICE is  different:
[fsirl@entropy:~]$ ~/obj/gccm/gcc/stage1/xgcc -B ~/obj/gccm/gcc/stage1/ -O2 -fPIC -c flowbug.c
flowbug.c: In function `SQLSetConnectOption':
flowbug.c:42: Return not followed by barrier
(jump_insn 152 151 71 (parallel[
            (return)
            (use (reg:SI 65 lr))
        ] ) -1 (nil)
    (nil))
flowbug.c:42: Internal compiler error in verify_flow_info, at flow.c:8082
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL: http://www.gnu.org/software/gcc/bugs.html > for instructions.

gcc-2.95.3 compiles this just fine, so this is a regression.
>How-To-Repeat:
compile with -O2 -fPIC:

 
typedef struct tDRVDBC
{
  void * hLog;
} *HDRVDBC;
 
int logPushMsg( void* hLog, char *pszModule, char *pszFunctionName, int nLine, int nSeverity, int nCode, char *pszMsg );
 
signed short int SQLSetConnectOption(void * hDrvDbc,
                                     unsigned short int nOption,
                                     unsigned long int vParam)
{
  HDRVDBC hDbc = (HDRVDBC)hDrvDbc;
 
  if ( hDbc == 0 )
    return (-2);
 
  switch ( nOption )
    {
      case 106:
      case 107:
 
      case 110:
      case 104:
      switch ( vParam )
        {
          case 1UL:
          case 0UL:
          default:
          ;
        }
      break;
 
      case 105:
      case 101:
      case 102:
      default:
      ;
    }
 
  logPushMsg( hDbc->hLog, "SQLSetConnectOption.c", "SQLSetConnectOption.c", 49, 1, 1,
"SQL_SUCCESS_WITH_INFO Function not fully implemented" );
  return 1;
}
>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted: