[Bug middle-end/27793] num_ssa_names inconsistent or immediate use iterator wrong

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2006-05-29 12:43 -------
btw., the first error is right after the first may_alias pass.  An interesting
observation is that we have VUSEs in the dump for the afterReading fn for the
global var verbose, while they only should appear after alias, not after
into-ssa:

t26.ssa:

void afterReading(ReadBufferQueue*) (bufferQueueD.1879)
{
  struct ReadBufferQueueD.1839 * const thisD.1961;
  struct ReadBufferQueueD.1839 * const thisD.1960;
  struct _IO_FILED.1736 * stderr.5D.1885;
  const charD.3 * D.1884; 
  const charD.3 * D.1883;
  intD.2 verbose.4D.1882;

  # BLOCK 0
  # PRED: ENTRY (fallthru)
  #   VUSE <verboseD.1742_15>;
  verbose.4D.1882_1 = verboseD.1742;
  if (verbose.4D.1882_1 > 0) goto <L0>; else goto <L1>;
  # SUCC: 1 (true) 2 (false)

!?

and _15 is exactly the wrong SSA name we access later.


-- 


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