Bug in flow.c ??

Marcio de Oliveira Buss ra990898@ic.unicamp.br
Wed Jul 5 13:22:00 GMT 2000


  I think there is a little bug in the compute_dominators function in
  flow.c file of the gcc version 2.95.2.
  At the line 19 of this function, the command is:
 
  SET_BIT (post_dominators[n_basic_blocks - 1], 0);

  but I am trying to debug this function manually and I found that the
  correct call would be:

  SET_BIT (post_dominators[n_basic_blocks - 1], n_basic_blocks - 1);

  Is it correct?
  Also, why the basic block 0 is not included in the computation?
  For the post dominance point of view, this block will be without
  informations, no?

  Buss.



More information about the Gcc mailing list