cprover
remove_asm.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Remove 'asm' statements by compiling them into suitable
4 standard goto program instructions
5
6Author: Daniel Kroening
7
8Date: December 2014
9
10\*******************************************************************/
11
15
51
52#ifndef CPROVER_ASSEMBLER_REMOVE_ASM_H
53#define CPROVER_ASSEMBLER_REMOVE_ASM_H
54
55class goto_functionst;
56class goto_modelt;
57class symbol_tablet;
58
60
62
63#endif // CPROVER_ASSEMBLER_REMOVE_ASM_H
A collection of goto functions.
The symbol table.
Definition: symbol_table.h:14
void remove_asm(goto_functionst &, symbol_tablet &)
Replaces inline assembly instructions in the goto program (i.e., instructions of kind OTHER with a co...
Definition: remove_asm.cpp:512