Loading...

Searching...

No Matches

array_element_from_pointer.h

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

2

3Module: Element access in a pointer array

4

5Author: Diffblue Ltd.

6

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

8

9#ifndef CPROVER_UTIL_ARRAY_ELEMENT_FROM_POINTER_H

10#define CPROVER_UTIL_ARRAY_ELEMENT_FROM_POINTER_H

11

12#include "pointer_expr.h"

13

25array_element_from_pointer(const exprt &pointer, const exprt &index);

26

27#endif // CPROVER_UTIL_ARRAY_ELEMENT_FROM_POINTER_H

dereference_exprt array_element_from_pointer(const exprt &pointer, const exprt &index)

Generate statement using pointer arithmetic to access the element at the given index of a pointer arr...

Definition array_element_from_pointer.cpp:12

Operator to dereference a pointer.

Definition pointer_expr.h:834

Base class for all expressions.

Definition expr.h:57

API to expression classes for Pointers.

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