CBMC: /home/runner/work/cbmc/cbmc/src/analyses/variable-sensitivity/widened_range.cpp File Reference

CBMC

Loading...

Searching...

No Matches

widened_range.cpp File Reference

#include "widened_range.h"
#include <util/simplify_expr.h>

+ Include dependency graph for widened_range.cpp:

Go to the source code of this file.

Functions

static bool has_underflowed (const exprt &value)

static bool has_overflowed (const exprt &value, const exprt &initial_value)

Function Documentation

◆ has_overflowed()

static bool has_overflowed ( const exprt & value,

const exprt & initial_value

)

static

Definition at line 17 of file widened_range.cpp.

◆ has_underflowed()

static bool has_underflowed ( const exprt & value )

static

Definition at line 12 of file widened_range.cpp.