AutosarC++19_03-A12.4.1¶
Destructor of a base class shall be public virtual, public override or protected non-virtual
Required inputs: IR
See Also
Rule AutosarC++19_03-A12.4.1Possible Messages
Key |
Text |
Severity |
Disabled |
|---|---|---|---|
base_class_destructor |
Destructor of a base class shall be public virtual, public override or protected non-virtual. |
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_inheriting_classes¶
allowed_inheriting_classes
A set of full qualified type names that are ignored when determining whether a class is a base class or not. This is mainly a workaround for some libc++ implementation details: The standard library uses private inheritance from empty base classes to implement EBO (Empty Base Optimization) for some of its data structures.Type: set[bauhaus.analysis.config.QualifiedName]
Default:
{'std::_Compressed_pair', 'std::__compressed_pair_elem', 'std::__detail::_Hashtable_ebo_helper', 'std::__libcpp_compressed_pair_imp', 'std::__map_value_compare', 'std::__unordered_map_hasher'}