projects / cparser / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 44117de) | patch
Split jump_if_reachable() into jump_to() and jump_if_reachable().
authorChristoph Mallon <christoph.mallon@gmx.de>
Sat, 21 Apr 2012 14:45:05 +0000 (16:45 +0200)
committerChristoph Mallon <christoph.mallon@gmx.de>
Tue, 24 Apr 2012 12:51:58 +0000 (14:51 +0200)
commitfaf4d56440e1c24d339bb38ec9719188899cfe43
tree07aa8ea7e56b0e6af714b496a1a3743ea88edde1tree | snapshot
parent44117de420d7adb0c8360c3bf3b563c072048bc5commit | diff
Split jump_if_reachable() into jump_to() and jump_if_reachable().

- jump_to() does what jump_if_reachable() did before, i.e. create a Bad if the source is unreachable.
- jump_if_reachable() does nothing if the source is unreachable.
- Document in which case which of these two functions needs to be used.
- This prevents Bad predecessors in the usual cases, e.g. non-fallthrough case labels.
ast2firm.c diff | blob | history
cparser