[Bug c/17766] New: cc1 hangs in with -O3, works with -O2

[Bug c/17766] New: cc1 hangs in with -O3, works with -O2

[olh at suse dot de]

openslp does not compile, it hangs because they compile with -O3:

pomegranate:/usr/src/packages/BUILD/openslp-1.1.5/libslp # /usr/lib/gcc/powerpc-suse-linux/4.0.0/cc1 -fpreprocessed libslp_mdns.i -quiet -dumpbase libslp_mdns.c -auxbase-strip .libs/libslp_mdns.o -g -O0 -O3 -Wall -version -fPIC -o libslp_mdns.s -O3 -v -v
#include "..." search starts here:
#include <...> search starts here:
 /usr/local/include
 /usr/lib/gcc/powerpc-suse-linux/4.0.0/include
 /usr/lib/gcc/powerpc-suse-linux/4.0.0/../../../../powerpc-suse-linux/include
 /usr/include
End of search list.
GNU C version 4.0.0 20040929 (experimental) (SUSE Linux) (powerpc-suse-linux)
        compiled by GNU C version 4.0.0 20040929 (experimental) (SUSE Linux).
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
libslp_mdns.c: In function 'SLPBufToMDNS':
libslp_mdns.c:60: warning: pointer targets in passing arg 1 of 'AsUINT16' differ in signedness
libslp_mdns.c:62: warning: pointer targets in assignment differ in signedness
libslp_mdns.c:65: warning: pointer targets in passing arg 1 of 'AsUINT16' differ in signedness
libslp_mdns.c:66: warning: pointer targets in assignment differ in signedness
libslp_mdns.c:93: warning: pointer targets in passing arg 1 of 'AsUINT16' differ in signedness
libslp_mdns.c:94: warning: pointer targets in assignment differ in signedness
libslp_mdns.c:96: warning: pointer targets in passing arg 1 of 'AsUINT16' differ in signedness
libslp_mdns.c:97: warning: pointer targets in assignment differ in signedness
libslp_mdns.c:101: warning: pointer targets in passing arg 1 of 'AsUINT16' differ in signedness
libslp_mdns.c:102: warning: pointer targets in assignment differ in signedness
libslp_mdns.c:135: warning: pointer targets in passing arg 1 of 'AsUINT16' differ in signedness
libslp_mdns.c:136: warning: pointer targets in assignment differ in signedness
libslp_mdns.c:148: warning: pointer targets in passing arg 1 of 'AsUINT16' differ in signedness
libslp_mdns.c:149: warning: pointer targets in assignment differ in signedness
libslp_mdns.c:153: warning: pointer targets in passing arg 1 of 'AsUINT16' differ in signedness
libslp_mdns.c:154: warning: pointer targets in assignment differ in signedness
libslp_mdns.c:193: warning: pointer targets in passing arg 4 of 'SLPMDNSAddRR' differ in signedness
libslp_mdns.c: In function 'SLPMDNSCmpRRData':
libslp_mdns.c:212: warning: pointer targets in passing arg 1 of 'AsUINT16' differ in signedness
libslp_mdns.c:223: warning: pointer targets in passing arg 1 of 'AsUINT16' differ in signedness
libslp_mdns.c: In function 'SLPMDNSToBuf':
libslp_mdns.c:315: warning: pointer targets in passing arg 1 of 'AsUINT16' differ in signedness
libslp_mdns.c:338: warning: pointer targets in passing arg 1 of 'AsUINT16' differ in signedness
libslp_mdns.c:339: warning: pointer targets in passing arg 1 of 'AsUINT16' differ in signedness
libslp_mdns.c:340: warning: pointer targets in passing arg 1 of 'AsUINT16' differ in signedness
libslp_mdns.c:348: warning: pointer targets in passing arg 1 of 'AsUINT16' differ in signedness
libslp_mdns.c:353: warning: pointer targets in passing arg 1 of 'AsUINT16' differ in signedness
libslp_mdns.c:388: warning: pointer targets in passing arg 1 of 'AsUINT16' differ in signedness
libslp_mdns.c:392: warning: pointer targets in passing arg 1 of 'AsUINT16' differ in signedness
libslp_mdns.c:405: warning: pointer targets in passing arg 1 of 'AsUINT32' differ in signedness
libslp_mdns.c:409: warning: pointer targets in passing arg 1 of 'AsUINT16' differ in signedness
libslp_mdns.c:410: warning: pointer targets in passing arg 1 of 'ToUINT16' differ in signedness
libslp_mdns.c:422: warning: pointer targets in passing arg 3 of 'SLPMDNSNToSrvtype' differ in signedness
libslp_mdns.c:428: warning: pointer targets in passing arg 1 of 'ToUINT16' differ in signedness
libslp_mdns.c:439: warning: pointer targets in passing arg 1 of 'AsUINT16' differ in signedness
libslp_mdns.c:445: warning: pointer targets in passing arg 1 of 'AsUINT16' differ in signedness
libslp_mdns.c:447: warning: pointer targets in passing arg 1 of 'strncasecmp' differ in signedness
libslp_mdns.c:452: warning: pointer targets in passing arg 3 of 'SLPMDNSNToAttrs' differ in signedness
libslp_mdns.c:458: warning: pointer targets in passing arg 1 of 'ToUINT16' differ in signedness
libslp_mdns.c:465: warning: pointer targets in passing arg 1 of 'AsUINT16' differ in signedness
libslp_mdns.c:471: warning: pointer targets in passing arg 1 of 'AsUINT16' differ in signedness
libslp_mdns.c:477: warning: pointer targets in passing arg 1 of 'AsUINT16' differ in signedness
libslp_mdns.c:484: warning: pointer targets in passing arg 1 of 'AsUINT32' differ in signedness
libslp_mdns.c:493: warning: pointer targets in passing arg 1 of 'AsUINT16' differ in signedness
libslp_mdns.c:500: warning: pointer targets in passing arg 1 of 'ToUINT16' differ in signedness
libslp_mdns.c:501: warning: pointer targets in passing arg 1 of 'ToUINT16' differ in signedness
libslp_mdns.c:521: warning: pointer targets in passing arg 1 of 'ToUINT16' differ in signedness
libslp_mdns.c:535: warning: pointer targets in passing arg 1 of 'strlen' differ in signedness
libslp_mdns.c:535: warning: pointer targets in passing arg 1 of 'strlen' differ in signedness
libslp_mdns.c:535: warning: pointer targets in passing arg 1 of '__builtin_strcmp' differ in signedness
libslp_mdns.c:535: warning: pointer targets in passing arg 1 of 'strlen' differ in signedness
libslp_mdns.c:535: warning: pointer targets in passing arg 1 of '__builtin_strcmp' differ in signedness
libslp_mdns.c:535: warning: pointer targets in passing arg 1 of '__builtin_strcmp' differ in signedness
libslp_mdns.c:535: warning: pointer targets in passing arg 1 of '__builtin_strcmp' differ in signedness
libslp_mdns.c:535: warning: pointer targets in passing arg 1 of 'strncmp' differ in signedness
libslp_mdns.c:543: warning: pointer targets in passing arg 3 of 'getnameinfo' differ in signedness
libslp_mdns.c:544: warning: pointer targets in passing arg 1 of 'strlen' differ in signedness
libslp_mdns.c:546: warning: pointer targets in passing arg 1 of 'strlen' differ in signedness
libslp_mdns.c:554: warning: pointer targets in passing arg 1 of 'AsUINT16' differ in signedness
libslp_mdns.c:554: warning: pointer targets in passing arg 1 of 'sprintf' differ in signedness
libslp_mdns.c:555: warning: pointer targets in passing arg 1 of 'strlen' differ in signedness
libslp_mdns.c:557: warning: pointer targets in passing arg 1 of 'ToUINT16' differ in signedness
libslp_mdns.c:574: warning: pointer targets in passing arg 2 of 'strcpy' differ in signedness
libslp_mdns.c:593: warning: pointer targets in passing arg 1 of 'ToUINT24' differ in signedness
libslp_mdns.c: In function 'SLPMDNSXcastRecvMessage':
libslp_mdns.c:795: warning: pointer targets in passing arg 6 of 'recvfrom' differ in signedness

hangs.

Works ok if I append -O2 or lower.

-- 
           Summary: cc1 hangs in with -O3, works with -O2
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: olh at suse dot de
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: powerpc-linux
  GCC host triplet: powerpc-linux
GCC target triplet: powerpc-linux


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

[Bug c/17766] cc1 hangs in with -O3, works with -O2

[olh at suse dot de]

------- Additional Comments From olh at suse dot de  2004-10-01 07:13 -------
Created an attachment (id=7253)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7253&action=view)
libslp_mdns.i.bz2


-- 


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

[Bug tree-optimization/17766] [4.0 Regression] cc1 hangs in with -O3, works with -O2

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|c                           |tree-optimization
           Keywords|                            |ice-on-valid-code
            Summary|cc1 hangs in with -O3, works|[4.0 Regression] cc1 hangs
                   |with -O2                    |in with -O3, works with -O2
   Target Milestone|---                         |4.0.0


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

[Bug tree-optimization/17766] [4.0 Regression] cc1 hangs in with -O3, works with -O2

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-01 13:42 -------
Confirmed but not reduced yet, here is the backtrace:
....
#3  0x002ad884 in delete_from_dominance_info (dir=CDI_DOMINATORS, bb=0xd84d14) at /Users/
pinskia/src/local/gcc/gcc/dominance.c:950
#4  0x002ac80c in free_dominance_info (dir=CDI_DOMINATORS) at /Users/pinskia/src/local/gcc/gcc/
dominance.c:664
#5  0x002ac5bc in calculate_dominance_info (dir=CDI_DOMINATORS) at /Users/pinskia/src/local/gcc/
gcc/dominance.c:624
#6  0x0018f404 in tree_ssa_dominator_optimize () at /Users/pinskia/src/local/gcc/gcc/tree-ssa-
dom.c:336
#7  0x00103ce4 in execute_one_pass (pass=0x416025c0) at /Users/pinskia/src/local/gcc/gcc/tree-
optimize.c:504
#8  0x00103e30 in execute_pass_list (pass=0x416025c0) at /Users/pinskia/src/local/gcc/gcc/tree-
optimize.c:539
#9  0x00103e58 in execute_pass_list (pass=0x9144e0) at /Users/pinskia/src/local/gcc/gcc/tree-
optimize.c:540
#10 0x00104250 in tree_rest_of_compilation (fndecl=0xa85f04, nested_p=0 '\0') at /Users/pinskia/
src/local/gcc/gcc/tree-optimize.c:639
#11 0x0002e2e4 in c_expand_body (fndecl=0xa85f04) at /Users/pinskia/src/local/gcc/gcc/c-decl.c:
6327
#12 0x006c0ecc in cgraph_expand_function (node=0xaf7c98) at /Users/pinskia/src/local/gcc/gcc/
cgraphunit.c:1046
#13 0x006c697c in cgraph_expand_all_functions () at /Users/pinskia/src/local/gcc/gcc/cgraphunit.c:
2728
#14 0x006c6f24 in cgraph_optimize () at /Users/pinskia/src/local/gcc/gcc/cgraphunit.c:2839
#15 0x00031bb0 in c_write_global_declarations () at /Users/pinskia/src/local/gcc/gcc/c-decl.c:7297
#16 0x006057b4 in compile_file () at /Users/pinskia/src/local/gcc/gcc/toplev.c:998
#17 0x00608404 in do_compile () at /Users/pinskia/src/local/gcc/gcc/toplev.c:2069
#18 0x006084a0 in toplev_main (argc=3, argv=0xbffffd7c) at /Users/pinskia/src/local/gcc/gcc/
toplev.c:2101
#19 0x000c6188 in main (argc=3, argv=0xbffffd7c) at /Users/pinskia/src/local/gcc/gcc/main.c:35

-- 


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

[Bug tree-optimization/17766] [4.0 Regression] cc1 hangs in with -O3, works with -O2

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-01 13:56 -------
Hmm, this might be a latent bug in DOM, but this is related to unswitching loops.

-- 


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

[Bug tree-optimization/17766] [4.0 Regression] cc1 hangs in with -O3, works with -O2

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-07 20:35 -------
Reduced testcase:
typedef unsigned int size_t;
typedef long int wchar_t;
typedef unsigned int socklen_t;
struct msghdr
{
  struct cmsghdr *msg_control;
  size_t msg_controllen;
};
struct cmsghdr
{
  unsigned int cmsg_len;
  int cmsg_level;
  int cmsg_type;
};
static struct cmsghdr *__cmsg_nxthdr (struct msghdr *__mhdr, struct cmsghdr *__cmsg) ;

static __inline struct cmsghdr *
__cmsg_nxthdr (struct msghdr *__mhdr, struct cmsghdr *__cmsg)
{
 if (__cmsg->cmsg_len < 1)
    return 0;
  if (__cmsg > __mhdr->msg_control ||  __cmsg + __cmsg->cmsg_len > 0)
    return 0;
  return __cmsg;
}

void SLPMDNSXcastRecvMessage()
{
  struct cmsghdr *cmsg;
  struct msghdr mhdr;
  cmsg = (mhdr.msg_controllen >= 1 ? mhdr.msg_control :  0);
  for (cmsg = (mhdr.msg_controllen >= 1 ? mhdr.msg_control : 0 );
       cmsg;
       __cmsg_nxthdr (&mhdr, cmsg))
    if (cmsg->cmsg_level == 0 && cmsg->cmsg_type == 2)
      break;
}


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-10-07 20:35:26
               date|                            |


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

[Bug tree-optimization/17766] [4.0 Regression] cc1 hangs in with -O3, works with -O2

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-07 20:41 -------
A little more reduced:
struct msghdr
{
  struct cmsghdr *msg_control;
  int msg_controllen;
};
struct cmsghdr
{
  int cmsg_len, cmsg_level, cmsg_type;
};
static struct cmsghdr *__cmsg_nxthdr (struct msghdr *__mhdr, struct cmsghdr *__cmsg) ;

static __inline struct cmsghdr *
__cmsg_nxthdr (struct msghdr *__mhdr, struct cmsghdr *__cmsg)
{
 if (__cmsg->cmsg_len < 1)
    return 0;
  if (__cmsg > __mhdr->msg_control || __cmsg->cmsg_len > 0)
    return 0;
  return __cmsg;
}

void SLPMDNSXcastRecvMessage(struct msghdr mhdr, struct cmsghdr *cmsg)
{  
  for (cmsg = (mhdr.msg_controllen >= 1 ? mhdr.msg_control : 0 );
       cmsg;
       __cmsg_nxthdr (&mhdr, cmsg))
    if (cmsg->cmsg_level == 0 && cmsg->cmsg_type == 2)
      break;
}


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |law at gcc dot gnu dot org


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

[Bug tree-optimization/17766] [4.0 Regression] cc1 hangs in with -O3, works with -O2

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-07 21:23 -------
If I turn off loop im, this passes.  Mybe someone is forgetting to update the dominance information.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rakdver at gcc dot gnu dot
                   |                            |org


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

[Bug tree-optimization/17766] [4.0 Regression] cc1 hangs in with -O3, works with -O2

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2004-10-08 00:35 -------
Here's an even shorter testcase.
It crashes with "-O3" or "-O -funswitch-loops"

======================================
struct A
{
  int i;
};

inline void foo(struct A* p)
{
  p->i || &p->i > 0 || p->i;
}

void bar(struct A* p, int j)
{
  for (;; foo(p))
    if (j && p->i)
      break;
}
======================================

Zdenek, your patch
http://gcc.gnu.org/ml/gcc-cvs/2004-09/msg01057.html
seems to be responsible for the regression.

Could you please have a look?


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu dot
                   |                            |org
  GCC build triplet|powerpc-linux               |
   GCC host triplet|powerpc-linux               |
 GCC target triplet|powerpc-linux               |
           Keywords|                            |monitored
      Known to fail|                            |4.0.0
      Known to work|                            |3.4.2


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

[Bug tree-optimization/17766] [4.0 Regression] cc1 hangs in with -O3, works with -O2

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2004-10-08 00:46 -------
Even shorter:

======================================
struct A
{
  int i;
};

void foo(struct A* p, int *q)
{
  for (;; p->i || &p->i > 0 || p->i )
    if (q && *q)
      break;
}
======================================


-- 


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

[Bug tree-optimization/17766] [4.0 Regression] cc1 hangs in with -O3, works with -O2

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-10-16 16:59 -------
Subject: Bug 17766

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	rakdver@gcc.gnu.org	2004-10-16 16:58:59

Modified files:
	gcc            : ChangeLog basic-block.h cfghooks.c dominance.c 
	                 tree-cfg.c tree-complex.c tree-mudflap.c 

Log message:
	PR tree-optimization/17766
	* basic-block.h (enum dom_state): DOM_CONS_OK removed.
	(dom_info_available_p): Declare.
	* cfghooks.c (split_block, make_forwarder_block): Use
	dom_info_available_p.
	* dominance.c (compute_dom_fast_query, calculate_dominance_info,
	free_dominance_info, verify_dominators): Ditto.
	(dom_info_available_p): New function.
	* tree-cfg.c (cleanup_control_expr_graph): Free dominance information.
	(thread_jumps): Use dom_info_available_p.
	* tree-complex.c (expand_complex_div_wide): Ditto.
	* tree-mudflap.c (mf_build_check_statement_for): Ditto.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.5907&r2=2.5908
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/basic-block.h.diff?cvsroot=gcc&r1=1.219&r2=1.220
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cfghooks.c.diff?cvsroot=gcc&r1=1.16&r2=1.17
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/dominance.c.diff?cvsroot=gcc&r1=1.31&r2=1.32
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-cfg.c.diff?cvsroot=gcc&r1=2.77&r2=2.78
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-complex.c.diff?cvsroot=gcc&r1=2.12&r2=2.13
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-mudflap.c.diff?cvsroot=gcc&r1=2.29&r2=2.30



-- 


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

[Bug tree-optimization/17766] [4.0 Regression] cc1 hangs in with -O3, works with -O2

[rakdver at gcc dot gnu dot org]

------- Additional Comments From rakdver at gcc dot gnu dot org  2004-10-16 16:59 -------
Fixed.

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


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