fixed post-dominance construction for endless loops (hopefully).
[libfirm] / ir / adt / ABSTRACT_DATATYPES