Ted Kremenek 81e1485d4c Changes to CFGBuilder: ... + Added the creation of an empty Entry block at the end of CFG construction if the Entry block in the CFG contains multiple predecessors (which can happen with labels and do loops). + Fixed bug in the creation of an empty Exit block with functions where not all paths end in a return statement (but some do). Basic blocks with return statements were jumping to a (sometimes) non-empty block. + FinishBlock no longer checks for labels at the beginning of a basic block before reversing the statements in the block. This is because the recursion invariants of the builder methods have been cleaned up, and blocks are only passed to FinishBlock at most once. + Modified handling of "if", "for", "while", "do", and "switch" to allow condition expressions that can span multiple basic blocks. This allows such conditions to contain short-circuit expressions (which span multiple blocks in the CFG). llvm-svn: 41508		2007-08-27 19:46:09 +00:00
clang	Changes to CFGBuilder:	2007-08-27 19:46:09 +00:00
llvm	Update InvokeInst to work like CallInst	2007-08-27 19:04:21 +00:00