Teach Wreturn-type, Wunreachable-code, and alpha.deadcode.UnreachableCode to treat...
authorNico Weber <nicolasweber@gmx.de>
Tue, 13 Feb 2018 21:31:47 +0000 (21:31 +0000)
committerNico Weber <nicolasweber@gmx.de>
Tue, 13 Feb 2018 21:31:47 +0000 (21:31 +0000)
commit758fbacea5b93307d7456dc4e2c6d3379b8aa781
tree42f46414a86f771ea845f0513df0a4b59b8b224d
parentfdb3b036cc926843bad7b00bab9fc122be8798fc
Teach Wreturn-type, Wunreachable-code, and alpha.deadcode.UnreachableCode to treat __assume(0) like __builtin_unreachable.

Fixes PR29134.
https://reviews.llvm.org/D43221

llvm-svn: 325052
clang/include/clang/AST/Expr.h
clang/lib/AST/Expr.cpp
clang/lib/Analysis/CFG.cpp
clang/lib/Analysis/ReachableCode.cpp
clang/lib/StaticAnalyzer/Checkers/UnreachableCodeChecker.cpp
clang/test/Analysis/unreachable-code-path.c
clang/test/Sema/return.c
clang/test/Sema/warn-unreachable.c