ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
build_ast.h
Go to the documentation of this file.
1#ifndef CLANG_C_FRONTEND_AST_BUILD_AST_H_
2#define CLANG_C_FRONTEND_AST_BUILD_AST_H_
3
4#include <memory>
5#include <unordered_map>
6#include <vector>
7
8#define __STDC_LIMIT_MACROS
9#define __STDC_FORMAT_MACROS
10
11// Forward dec, to avoid bringing in clang headers
12namespace clang
13{
14class ASTUnit;
15} // namespace clang
16
17std::unique_ptr<clang::ASTUnit> buildASTs(
18 const std::string &intrinsics,
19 const std::vector<std::string> &compiler_args);
20
21void mergeASTs(
22 const std::unique_ptr<clang::ASTUnit> &FromUnit,
23 std::unique_ptr<clang::ASTUnit> &ToUnit);
24
25#endif /* CLANG_C_FRONTEND_AST_BUILD_AST_H_ */
std::unique_ptr< clang::ASTUnit > buildASTs(const std::string &intrinsics, const std::vector< std::string > &compiler_args)
Definition build_ast.cpp:63
void mergeASTs(const std::unique_ptr< clang::ASTUnit > &FromUnit, std::unique_ptr< clang::ASTUnit > &ToUnit)
Definition build_ast.cpp:304
Definition build_ast.h:13