On 10/12/2015 07:10 AM, Tom de Vries wrote:
Hi,
in the header comment of function inverted_post_order_compute in
cfganal.c we find:
...
This function assumes that all blocks in the CFG are reachable
from the ENTRY (but not necessarily from EXIT).
...
This patch checks that there are ind
Hi,
in the header comment of function inverted_post_order_compute in
cfganal.c we find:
...
This function assumes that all blocks in the CFG are reachable
from the ENTRY (but not necessarily from EXIT).
...
This patch checks that there are indeed no unreachable blocks when
calling inver
