+ if (get_block_entry(env.end_bl) == NULL) {
+ /*
+ * The end block is NOT reachable due to endless loops
+ * or no_return calls. Ensure that it is initialized.
+ * Note that this places the entry for the end block first, so we must fix this.
+ * env.backwards points to th last block for this purpose.
+ */
+ prepare_blocks(env.end_bl, NULL);
+
+ bl = env.forward;
+ env.forward = bl->forward_next;
+ bl->forward_next = NULL;
+
+ env.backward->forward_next = bl;
+ }
+