Loading...

Searching...

No Matches

pointer_offset_sum.h

1/*******************************************************************\

2

3Module: Pointer Dereferencing

4

5Author: Daniel Kroening, kroening@kroening.com

6

7\*******************************************************************/

8

11

12#ifndef CPROVER_UTIL_POINTER_OFFSET_SUM_H

13#define CPROVER_UTIL_POINTER_OFFSET_SUM_H

14

15#include "expr.h"

16

18

19#endif // CPROVER_UTIL_POINTER_OFFSET_SUM_H

ait supplies three of the four components needed: an abstract interpreter (in this case handling func...

Definition ai.h:566

Base class for all expressions.

Definition expr.h:57

exprt pointer_offset_sum(const exprt &a, const exprt &b)

Definition pointer_offset_sum.cpp:16

CBMC: /home/runner/work/cbmc/cbmc/src/util/pointer_offset_sum.h Source File