write_stack.h File Reference

#include <analyses/variable-sensitivity/write_stack_entry.h>

Include dependency graph for write_stack.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	write_stackt

Detailed Description

Represents a stack of write operations to an addressable memory location

Definition in file write_stack.h.