[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]

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>