ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
nested_func_transform.h
Go to the documentation of this file.
1
#pragma once
2
3
#include <optional>
4
#include <string>
5
#include <
util/base/filesystem.h
>
6
17
std::optional<file_operations::tmp_file>
18
transform_nested_functions
(
const
std::string &source_path);
filesystem.h
transform_nested_functions
std::optional< file_operations::tmp_file > transform_nested_functions(const std::string &source_path)
Transforms GCC nested function definitions in a C source file into standard C by lambda-lifting them ...
Definition
nested_func_transform.cpp:2270
src
clang-c-frontend
nested_func_transform.h
Generated by
1.15.0