Loading...

Searching...

No Matches

frame.h File Reference

Class for stack frames. More...

#include "goto_state.h"
#include "symex_target.h"
#include <analyses/lexical_loops.h>

+ Include dependency graph for frame.h:

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

Classes

struct framet

Stack frames – these are used for function calls and for exceptions. More...

Detailed Description

Class for stack frames.

Definition in file frame.h.