[PATCH] D43221: Teach Wreturn-type, Wunreachable-code, and alpha.deadcode.UnreachableCode to treat __assume(0) like __builtin_unreachable.
Nico Weber via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Feb 12 21:11:03 PST 2018
thakis created this revision.
thakis added reviewers: rsmith, rnk.
Herald added a subscriber: whisperity.
Fixes PR29134.
https://reviews.llvm.org/D43221
Files:
include/clang/AST/Expr.h
lib/AST/Expr.cpp
lib/Analysis/CFG.cpp
lib/Analysis/ReachableCode.cpp
lib/StaticAnalyzer/Checkers/UnreachableCodeChecker.cpp
test/Analysis/unreachable-code-path.c
test/Sema/return.c
test/Sema/warn-unreachable.c
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D43221.133989.patch
Type: text/x-patch
Size: 6504 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20180213/618fa157/attachment-0001.bin>
More information about the cfe-commits
mailing list