include/dg/analysis/ReachingDefinitions/ReachingDefinitions.h
// FIXME: get rid of this method in favor of either append/prepend
// (so these method would update CFG edges) or keeping CFG
// only in blocks
get rid of this method in favor of either append/prepend
(so these method would update CFG edges) or keeping CFG
only in blocks
get rid of this method in favor of either append / prepend ( so these method would update CFG edges ) or keeping CFG only in blocks
void prependAndUpdateCFG(NodeT *n) {
        assert(!_nodes.empty());
        assert(n->getSuccessors().empty());
        assert(n->getPredecessors().empty());
        n->insertBefore(_nodes.front());
        prepend(n);
        assert(!n->getSuccessors().empty());
        assert(n->getBBlock() == this);
        assert(n->getSingleSuccessor()->getBBlock() == this);
        _check();
    }
void prependAndUpdateCFG ( NodeT * n ) { assert ( ! _nodes . empty ( ) ) ; assert ( n -> getSuccessors ( ) . empty ( ) ) ; assert ( n -> getPredecessors ( ) . empty ( ) ) ; n -> insertBefore ( _nodes . front ( ) ) ; prepend ( n ) ; assert ( ! n -> getSuccessors ( ) . empty ( ) ) ; assert ( n -> getBBlock ( ) == this ) ; assert ( n -> getSingleSuccessor ( ) -> getBBlock ( ) == this ) ; _check ( ) ; }
FIXME: get rid of this method in favor of either append/prepend
(so these method would update CFG edges) or keeping CFG
only in blocks
FIXME : get rid of this method in favor of either append / prepend ( so these method would update CFG edges ) or keeping CFG only in blocks
// precondition for this method, // we can fix it at some point // update CFG edges