Loading...
Searching...
No Matches
incremental_dirtyt Class Reference
Wrapper for dirtyt that permits incremental population, ensuring each function is analysed exactly once.
More...
#include <dirty.h>
+ Collaboration diagram for incremental_dirtyt:
Analyse the given function with dirtyt if it hasn't been seen before.
Detailed Description
Wrapper for dirtyt that permits incremental population, ensuring each function is analysed exactly once.
Definition at line 117 of file dirty.h.
Member Function Documentation
◆ operator()() [1/2]
◆ operator()() [2/2]
◆ populate_dirty_for_function()
Analyse the given function with dirtyt if it hasn't been seen before.
- Parameters
-
id function id to analyse
function function to analyse
Definition at line 112 of file dirty.cpp.
Member Data Documentation
◆ dirty
dirtyt incremental_dirtyt::dirty
private
◆ dirty_processed_functions
std::unordered_set<
irep_idt> incremental_dirtyt::dirty_processed_functions
The documentation for this class was generated from the following files:
- /home/runner/work/cbmc/cbmc/src/analyses/dirty.h
- /home/runner/work/cbmc/cbmc/src/analyses/dirty.cpp
