ΒΆbool isNullSmartPtr(
const clang::ento::ProgramStateRef State,
const clang::ento::MemRegion* ThisRegion)
bool isNullSmartPtr(
const clang::ento::ProgramStateRef State,
const clang::ento::MemRegion* ThisRegion)
Description
Returns whether the smart pointer is null or not.
Declared at: clang/lib/StaticAnalyzer/Checkers/SmartPtr.h:29
Parameters
- const clang::ento::ProgramStateRef State
- const clang::ento::MemRegion* ThisRegion