]> granicus.if.org Git - clang/commit
Add basic checking for returning null from functions/methods marked 'returns_nonnull'.
authorTed Kremenek <kremenek@apple.com>
Wed, 22 Jan 2014 06:10:28 +0000 (06:10 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 22 Jan 2014 06:10:28 +0000 (06:10 +0000)
commit8a4d3a8337a6c91f2ae6613f67caff9e04d45811
tree93f1d0d797546b029f574a674e3e96fb0266f76a
parente0da0232fabfc8e1abe75d2c97977de458cd4bca
Add basic checking for returning null from functions/methods marked 'returns_nonnull'.

This involved making CheckReturnStackAddr into a static function, which
is now called by a top-level return value checking routine called
CheckReturnValExpr.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@199790 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Basic/DiagnosticSemaKinds.td
include/clang/Sema/Sema.h
lib/Sema/SemaChecking.cpp
lib/Sema/SemaStmt.cpp
test/Sema/nonnull.c
test/SemaObjC/nonnull.m