]> granicus.if.org Git - clang/commit
Only have one path in the CFG for ternaries if the condition is known.
authorManuel Klimek <klimek@google.com>
Thu, 7 Aug 2014 14:25:43 +0000 (14:25 +0000)
committerManuel Klimek <klimek@google.com>
Thu, 7 Aug 2014 14:25:43 +0000 (14:25 +0000)
commitdc2fdc2c413dd4cfda859ae62ee8e2baa0542ea8
tree4f1a8433133306245a3611e6b797f8b2170c6910
parent29be994abf49ee22517000b04a43ed51e7ed8877
Only have one path in the CFG for ternaries if the condition is known.

The return type analysis requires that the CFG is simplified when the
truth values of branches are statically known at analysis time.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@215114 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/CFG.cpp
test/SemaCXX/return-noreturn.cpp