FaultDetection-UncaughtExceptionInXtor

A class destructor shall not exit with an exception

Required inputs: IR, StaticSemanticAnalysis

This check detects exceptions that could terminate the program or cause other problems because they escape from a constructor or destructor.

Possible Messages

Key	Text	Severity	Disabled
exception_escaping_constructor	Escaping exception from constructor.	None	False
exception_escaping_destructor	Escaping exception from destructor.	None	False

Options

• This rule shares the following common options: exclude_in_macros, exclude_messages_in_system_headers, excludes, extend_exclude_to_macro_invocations, includes, justification_checker, languages, post_processing, provider, report_at, severity

• The following places define options that affect this rule: Stylechecks, Analysis-GlobalOptions

allowed_exceptions

allowed_exceptions : set[str] = {'bad_alloc', 'bad_cast', 'failure', 'runtime_error', 'system_error'}

Exceptions that are allowed to escape from destructors.

 

constructors

constructors : bool = False

Whether to consider constructors.

 

destructors

destructors : bool = True

Whether to consider destructors.

 

exclude_exception_base_classes

exclude_exception_base_classes : set[bauhaus.analysis.config.QualifiedName] = set()

Exclude issues for the exception types mentioned in this set of qualified names. Also excludes classes derived from those class names as well as pointers or references to any of these class types.

 

generate_violation_path

generate_violation_path : bool = True

Whether to compute a trace for the exception. This improves the usability of the violation description, but requires additional computing which might slow down the rule.