Miscellaneous-InitializeAllVariables

Initialize all variables when defining them

Required inputs: IR

Reading uninitialized variables causes undefined behavior. This rule enforces the immediate initialization of variables at their definition point.

See Also

Rule GeneralPurpose-InitializeAllFieldsInConstructor (equivalent rule for member variables)

Possible Messages

Key	Text	Severity	Disabled
uninitialized_variable_definition	Variable not initialized at definition point.	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

ignore_arrays

ignore_arrays : bool = False

If true, array variables are not checked.

 

ignore_composites

ignore_composites : bool = False

If true, struct/class/union variables are not checked.

 

ignore_static_initialized

ignore_static_initialized : bool = False

If true, variables with static initializations are not checked.

 

ignore_types

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

Set of type names to ignore. Can be used to relax the initialization requirement for specific typedefs or struct/class/unions.