Variables whose address is taken. More...
#include <util/invariant.h>#include <util/std_expr.h>#include <goto-programs/goto_functions.h>#include <unordered_set>
Include dependency graph for dirty.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | dirtyt |
| Dirty variables are ones which have their address taken so we can't reliably work out where they may be assigned and are also considered shared state in the presence of multi-threading. More... | |
| class | incremental_dirtyt |
| Wrapper for dirtyt that permits incremental population, ensuring each function is analysed exactly once. More... | |
Functions | |
| std::ostream & | operator<< (std::ostream &out, const dirtyt &dirty) |
Detailed Description
Variables whose address is taken.
Definition in file dirty.h.
