Skip to content

Latest commit

 

History

History

cpp

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
library
library
 
 
CMakeLists.txt
CMakeLists.txt
 
 
Makefile
Makefile
 
 
README.md
README.md
 
 
cpp_constructor.cpp
cpp_constructor.cpp
 
 
cpp_convert_type.cpp
cpp_convert_type.cpp
 
 
cpp_convert_type.h
cpp_convert_type.h
 
 
cpp_declaration.cpp
cpp_declaration.cpp
 
 
cpp_declaration.h
cpp_declaration.h
 
 
cpp_declarator.cpp
cpp_declarator.cpp
 
 
cpp_declarator.h
cpp_declarator.h
 
 
cpp_declarator_converter.cpp
cpp_declarator_converter.cpp
 
 
cpp_declarator_converter.h
cpp_declarator_converter.h
 
 
cpp_destructor.cpp
cpp_destructor.cpp
 
 
cpp_enum_type.cpp
cpp_enum_type.cpp
 
 
cpp_enum_type.h
cpp_enum_type.h
 
 
cpp_exception_id.cpp
cpp_exception_id.cpp
 
 
cpp_exception_id.h
cpp_exception_id.h
 
 
cpp_id.cpp
cpp_id.cpp
 
 
cpp_id.h
cpp_id.h
 
 
cpp_instantiate_template.cpp
cpp_instantiate_template.cpp
 
 
cpp_internal_additions.cpp
cpp_internal_additions.cpp
 
 
cpp_internal_additions.h
cpp_internal_additions.h
 
 
cpp_is_pod.cpp
cpp_is_pod.cpp
 
 
cpp_item.h
cpp_item.h
 
 
cpp_language.cpp
cpp_language.cpp
 
 
cpp_language.h
cpp_language.h
 
 
cpp_linkage_spec.h
cpp_linkage_spec.h
 
 
cpp_member_spec.h
cpp_member_spec.h
 
 
cpp_name.cpp
cpp_name.cpp
 
 
cpp_name.h
cpp_name.h
 
 
cpp_namespace_spec.cpp
cpp_namespace_spec.cpp
 
 
cpp_namespace_spec.h
cpp_namespace_spec.h
 
 
cpp_parse_tree.cpp
cpp_parse_tree.cpp
 
 
cpp_parse_tree.h
cpp_parse_tree.h
 
 
cpp_parser.cpp
cpp_parser.cpp
 
 
cpp_parser.h
cpp_parser.h
 
 
cpp_scope.cpp
cpp_scope.cpp
 
 
cpp_scope.h
cpp_scope.h
 
 
cpp_scopes.cpp
cpp_scopes.cpp
 
 
cpp_scopes.h
cpp_scopes.h
 
 
cpp_static_assert.h
cpp_static_assert.h
 
 
cpp_storage_spec.cpp
cpp_storage_spec.cpp
 
 
cpp_storage_spec.h
cpp_storage_spec.h
 
 
cpp_template_args.h
cpp_template_args.h
 
 
cpp_template_parameter.h
cpp_template_parameter.h
 
 
cpp_template_type.h
cpp_template_type.h
 
 
cpp_token.h
cpp_token.h
 
 
cpp_token_buffer.cpp
cpp_token_buffer.cpp
 
 
cpp_token_buffer.h
cpp_token_buffer.h
 
 
cpp_type2name.cpp
cpp_type2name.cpp
 
 
cpp_type2name.h
cpp_type2name.h
 
 
cpp_typecast.h
cpp_typecast.h
 
 
cpp_typecheck.cpp
cpp_typecheck.cpp
 
 
cpp_typecheck.h
cpp_typecheck.h
 
 
cpp_typecheck_bases.cpp
cpp_typecheck_bases.cpp
 
 
cpp_typecheck_code.cpp
cpp_typecheck_code.cpp
 
 
cpp_typecheck_compound_type.cpp
cpp_typecheck_compound_type.cpp
 
 
cpp_typecheck_constructor.cpp
cpp_typecheck_constructor.cpp
 
 
cpp_typecheck_conversions.cpp
cpp_typecheck_conversions.cpp
 
 
cpp_typecheck_declaration.cpp
cpp_typecheck_declaration.cpp
 
 
cpp_typecheck_destructor.cpp
cpp_typecheck_destructor.cpp
 
 
cpp_typecheck_enum_type.cpp
cpp_typecheck_enum_type.cpp
 
 
cpp_typecheck_expr.cpp
cpp_typecheck_expr.cpp
 
 
cpp_typecheck_fargs.cpp
cpp_typecheck_fargs.cpp
 
 
cpp_typecheck_fargs.h
cpp_typecheck_fargs.h
 
 
cpp_typecheck_function.cpp
cpp_typecheck_function.cpp
 
 
cpp_typecheck_initializer.cpp
cpp_typecheck_initializer.cpp
 
 
cpp_typecheck_linkage_spec.cpp
cpp_typecheck_linkage_spec.cpp
 
 
cpp_typecheck_method_bodies.cpp
cpp_typecheck_method_bodies.cpp
 
 
cpp_typecheck_namespace.cpp
cpp_typecheck_namespace.cpp
 
 
cpp_typecheck_resolve.cpp
cpp_typecheck_resolve.cpp
 
 
cpp_typecheck_resolve.h
cpp_typecheck_resolve.h
 
 
cpp_typecheck_static_assert.cpp
cpp_typecheck_static_assert.cpp
 
 
cpp_typecheck_template.cpp
cpp_typecheck_template.cpp
 
 
cpp_typecheck_type.cpp
cpp_typecheck_type.cpp
 
 
cpp_typecheck_using.cpp
cpp_typecheck_using.cpp
 
 
cpp_typecheck_virtual_table.cpp
cpp_typecheck_virtual_table.cpp
 
 
cpp_using.h
cpp_using.h
 
 
cpp_util.cpp
cpp_util.cpp
 
 
cpp_util.h
cpp_util.h
 
 
cprover_library.cpp
cprover_library.cpp
 
 
cprover_library.h
cprover_library.h
 
 
expr2cpp.cpp
expr2cpp.cpp
 
 
expr2cpp.h
expr2cpp.h
 
 
module_dependencies.txt
module_dependencies.txt
 
 
parse.cpp
parse.cpp
 
 
template_map.cpp
template_map.cpp
 
 
template_map.h
template_map.h
 
 

README.md

\ingroup module_hidden \defgroup cpp cpp

Folder cpp

\author Martin Brain

This directory contains the C++ front-end. It supports the subset of C++ commonly found in embedded and system applications. Consequentially it doesn’t have full support for templates and many of the more advanced and obscure C++ features. The subset of the language that can be handled is being extended over time so bug reports of programs that cannot be parsed are useful.

The functionality is very similar to the ANSI C front end; parsing the code and converting to goto-programs. It makes use of code from langapi and ansi-c.