Loading...

Searching...

No Matches

local_safe_pointers.cpp File Reference

Local safe pointer analysis. More...

#include "local_safe_pointers.h"
#include <util/expr_iterator.h>
#include <util/expr_util.h>
#include <util/format_expr.h>

+ Include dependency graph for local_safe_pointers.cpp:

Classes

Return structure for get_null_checked_expr and get_conditional_checked_expr More...

Functions

Check if expr tests if a pointer is null.

Local safe pointer analysis.

static std::optional< goto_null_checkt > get_null_checked_expr ( const exprt & expr )

static

Check if expr tests if a pointer is null.

Returns: a goto_null_checkt indicating what expression is tested and whether the check applies on the taken or not-taken branch, or an empty std::optional if this isn't a null check.

Definition at line 36 of file local_safe_pointers.cpp.