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
Showing
- include/clang/Basic/DiagnosticSemaKinds.td 3 additions, 0 deletionsinclude/clang/Basic/DiagnosticSemaKinds.td
- include/clang/Sema/Sema.h 5 additions, 2 deletionsinclude/clang/Sema/Sema.h
- lib/Sema/SemaChecking.cpp 49 additions, 18 deletionslib/Sema/SemaChecking.cpp
- lib/Sema/SemaStmt.cpp 10 additions, 2 deletionslib/Sema/SemaStmt.cpp
- test/Sema/nonnull.c 6 additions, 0 deletionstest/Sema/nonnull.c
- test/SemaObjC/nonnull.m 5 additions, 1 deletiontest/SemaObjC/nonnull.m
Loading
Please register or sign in to comment