clang: clang::ento::NoStoreFuncVisitor Class Reference (original) (raw)

Put a diagnostic on return statement of all inlined functions for which the region of interest RegionOfInterest was passed into, but not written inside, and it has caused an undefined read or a null pointer dereference outside. More...

Put a diagnostic on return statement of all inlined functions for which the region of interest RegionOfInterest was passed into, but not written inside, and it has caused an undefined read or a null pointer dereference outside.

Definition at line 725 of file BugReporterVisitors.h.