Applied. Gerald
2017-01-02 Gerald Pfeifer <ger...@pfeifer.com> * doc/cfg.texi (Edges): Remove reference to Java. (Maintaining the CFG): Ditto. Index: doc/cfg.texi =================================================================== --- doc/cfg.texi (revision 244001) +++ doc/cfg.texi (working copy) @@ -285,7 +285,7 @@ Exception handling edges represent possible control transfers from a trapping instruction to an exception handler. The definition of ``trapping'' varies. In C++, only function calls can throw, but for -Java and Ada, exceptions like division by zero or segmentation fault are +Ada exceptions like division by zero or segmentation fault are defined and thus each instruction possibly throwing this kind of exception needs to be handled as control flow instruction. Exception edges have the @code{EDGE_ABNORMAL} and @code{EDGE_EH} flags set. @@ -594,8 +594,7 @@ Usually a code manipulating pass simplifies the instruction stream and the flow of control, possibly eliminating some edges. This may for example happen when a conditional jump is replaced with an -unconditional jump, but also when simplifying possibly trapping -instruction to non-trapping while compiling Java. Updating of edges +unconditional jump. Updating of edges is not transparent and each optimization pass is required to do so manually. However only few cases occur in practice. The pass may call @code{purge_dead_edges} on a given basic block to remove