]> granicus.if.org Git - clang/commit
Model temporary destructors from logical operators with known values.
authorManuel Klimek <klimek@google.com>
Thu, 7 Aug 2014 16:05:51 +0000 (16:05 +0000)
committerManuel Klimek <klimek@google.com>
Thu, 7 Aug 2014 16:05:51 +0000 (16:05 +0000)
commitc8f9454fb468fdef89e0056322ef6e18fc7cd1c2
tree797abdad3e39c70e441285dc99d76d1a7ba2b00a
parentdc2fdc2c413dd4cfda859ae62ee8e2baa0542ea8
Model temporary destructors from logical operators with known values.

If the truth value of a LHS is known, we can build the knowledge whether
a temporary destructor is executed or not into the CFG. This is needed
by the return type analysis.

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