dereferencet::modet Struct Reference

The different ways in which a pointer may be accessed. More...

#include <dereference.h>

Public Types
enum	: unsigned { READ , WRITE , FREE , INTERNAL }

Public Attributes
enum dereferencet::modet:: { ... }	op
unsigned	unaligned: 1
	Whether the access is performed in a non-standard, known-unaligned way as for, e.g., structures annotated with __attribute__((packed)).

Friends
bool	is_read (const modet &m)
bool	is_write (const modet &m)
bool	is_free (const modet &m)
bool	is_internal (const modet &m)

Detailed Description

The different ways in which a pointer may be accessed.

Member Enumeration Documentation

anonymous enum

anonymous enum : unsigned

Enumerator
READ
WRITE	The result of the expression is only read.
FREE	The result of the expression will be written to.
INTERNAL	The referred to object will be freed.

Friends And Related Symbol Documentation

is_free

bool is_free ( const modet & m )

friend

is_internal

bool is_internal ( const modet & m )

friend

is_read

bool is_read ( const modet & m )

friend

is_write

bool is_write ( const modet & m )

friend

Member Data Documentation

[]

enum { ... } dereferencet::modet::op

unaligned

unsigned dereferencet::modet::unaligned

Whether the access is performed in a non-standard, known-unaligned way as for, e.g., structures annotated with __attribute__((packed)).

---

The documentation for this struct was generated from the following file:

• src/pointer-analysis/dereference.h