ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
build_ast.h File Reference
#include <memory>
#include <unordered_map>
#include <vector>
Include dependency graph for build_ast.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  clang

Macros

#define __STDC_LIMIT_MACROS
#define __STDC_FORMAT_MACROS

Functions

std::unique_ptr< clang::ASTUnit > buildASTs (const std::string &intrinsics, const std::vector< std::string > &compiler_args)
void mergeASTs (const std::unique_ptr< clang::ASTUnit > &FromUnit, std::unique_ptr< clang::ASTUnit > &ToUnit)

Macro Definition Documentation

◆ __STDC_FORMAT_MACROS

#define __STDC_FORMAT_MACROS

◆ __STDC_LIMIT_MACROS

#define __STDC_LIMIT_MACROS

Function Documentation

◆ buildASTs()

std::unique_ptr< clang::ASTUnit > buildASTs ( const std::string & intrinsics,
const std::vector< std::string > & compiler_args )

◆ mergeASTs()

void mergeASTs ( const std::unique_ptr< clang::ASTUnit > & FromUnit,
std::unique_ptr< clang::ASTUnit > & ToUnit )