[Bug c/19909] New: verify-flow-info: wrong frequency ...

[Bug c/19909] New: verify-flow-info: wrong frequency ...

[cgweav at email dot com]

gcc-3.4.3 internal compiler error at -O3 -fno-strict-aliasing,
disappears with -O2.
(linux-2.4.29, glibc-2.3.3-200410112214, binutils-2.15.92.0.2).

gcc -v (CFLAGS="-march=i686 -O2" ../gcc-3.4.3/configure ...):

Reading specs from /usr/lib/gcc/i686-pc-linux-gnu/3.4.3/specs
Configured with: ../gcc-3.4.3/configure --prefix=/usr --enable-shared --enable-
threads=posix --enable-checking --enable-__cxa_atexit --enable-languages=c,c++ -
-disable-nls

Thread model: posix
gcc version 3.4.3

gcc's error report:

 ../term
 /usr/X11R6/include
 /usr/src/gnuplot-4.0.0/gd1.3/include
 /usr/include/libpng12
 /usr/local/include
 /usr/lib/gcc/i686-pc-linux-gnu/3.4.3/include
 /usr/lib/gcc/i686-pc-linux-gnu/3.4.3/../../../../i686-pc-linux-gnu/include
 /usr/include
End of search list.
 /usr/libexec/gcc/i686-pc-linux-gnu/3.4.3/cc1 -fpreprocessed plot3d.i -quiet -
dumpbase plot3d.c -march=i686 -auxbase-strip plot3d.o -O3 -Wall -version -fno-
strict-aliasing -o plot3d.s
GNU C version 3.4.3 (i686-pc-linux-gnu)
	compiled by GNU C version 3.4.3.
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
plot3d.c: In function `eval_3dplots':
plot3d.c:1771: error: verify_flow_info: Wrong frequency of block 174 -1
plot3d.c:1771: internal compiler error: verify_flow_info failed

I don't see any button on this bugzilla form
to attach the preprocessed source file. I
have it, ask me for it at <mailto:cgweav@email.com>

-- 
           Summary: verify-flow-info: wrong frequency ...
           Product: gcc
           Version: 3.4.3
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: cgweav at email dot com
                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=19909

[Bug rtl-optimization/19909] verify-flow-info: wrong frequency ...

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|c                           |rtl-optimization


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

[Bug rtl-optimization/19909] verify-flow-info: wrong frequency ...

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-02-11 19:29 -------
We need the preprocessed source.
Read <http://gcc.gnu.org/bugs.html>.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |WAITING


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

[Bug rtl-optimization/19909] verify-flow-info: wrong frequency ...

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-02-11 21:50 -------
Reopen it so we get it into an unconfirmed state.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |UNCONFIRMED
         Resolution|INVALID                     |


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

[Bug rtl-optimization/19909] verify-flow-info: wrong frequency ...

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-02-11 21:50 -------
Closing as invalid and ....

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


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

[Bug rtl-optimization/19909] verify-flow-info: wrong frequency ...

[dberlin at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2005-07-13 15:10 -------
Confirmed. Reduced testcase (compile with -O3):

================================================================
int foo();

void bar()
{
  int N, i, j, k, *p;

  if (i)
    while (1)
    {
      while (N)
      {
        for (i = 0; i < N; i++)
          for (; p; ++p)
            for (j = 0; j < N; j++)
              switch (N)
              {
                case 1:
                  ++k;
                case 2:
                  break;
                case 3:
                  ++k;
                case 4:
                  ++k;
                case 5:
                  ++k;
                default:
                  k = foo();
              }

        if (foo()) break;
      }

      if (foo()) break;
    }
}
================================================================

------- Additional Comments From reichelt at gcc dot gnu dot org  2005-07-13 15:43 -------

Bugzilla has hiccups.
Confirmed again.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-07-13 16:36:05
               date|                            |


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

[Bug rtl-optimization/19909] [3.4 regression] verify-flow-info: wrong frequency ...

[reichelt at gcc dot gnu dot org]

------- Additional Comments From reichelt at gcc dot gnu dot org  2005-07-13 20:16 -------
Even more compact testcase:

========================================
int foo();

void bar()
{
  int i, j, k, *p;

  while (i)
    while (k)
    {
      for (i = 0; i < 5; i++)
        for (; p; ++p)
          for (j = 0; j < k; j++)
            switch (k)
            {
              case 1:
                ++k;
              case 2:
                break;
              case 3:
                ++k;
              case 4:
                ++k;
              case 5:
                ++k;
              default:
                k = foo();
            }

      if (j) break;
    }
}
========================================


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu dot
                   |                            |org
      Known to fail|                            |3.4.0 3.4.4
      Known to work|3.4.0 4.0.0                 |3.3.6 4.0.0
            Summary|verify-flow-info: wrong     |[3.4 regression] verify-
                   |frequency ...               |flow-info: wrong frequency
                   |                            |...
   Target Milestone|---                         |3.4.5


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