- skip already created Confirms

[r23867]

  construct inverse Confirms

[r23863]

[r23750]

[r23575]

[r22754]

[r22571]

[r22551]

- disabled buggy parts for now

[r22487]

[r22417]

[r22415]

[r22414]

- typos fixed

[r22413]

- added debug output
- implemnted global NULL pointer test elimination using Confirm magic

[r22412]

  compiletime options like NDEBUG (as it is public API!)
- renamed some statevs (append a prefix for their module)

[r22329]

[r22326]

[r20828]

[r20643]

- BugFix: the effective use block is the predecessor block of the Phi's block, not the block of the Phi's argument
- typos fixed

[r20641]

[r19758]

- add support for mode_b nodes:
  - propagate true/false
  - create Phi's at dominance frontier for cond_eval()

[r19754]

[r18281]

when propagating constants in the x == Const case, propagate them into users of x IFF users of users are in the effective block, see confirm.c example

[r18195]

[r17143]

[r15373]

[r14547]

[r13482]

[r13472]

[r8430]

[r8001]

These are useless (and rather strange).

[r7700]

[r7691]

[r7230]

[r7193]

[r6207]

add an assertion if the graph is not pinned, we need right block info
handle removement of self referencing Confirm

[r6142]

used new get_negated_pnc()

[r6100]

[r6080]

[r6046]