Add basic checking for returning null from functions/methods marked…

Description

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.

Details

Committed
kremenekJan 21 2014, 10:10 PM
Parents
rL199789: We want to build lld with libc++ and nightly tests with gcc47.
Branches
Unknown
Tags
Unknown