Check usage of bit-shift operations

mathworks.hism.hisl_0073

Since R2021b

Dependencies: Simulink^® Check™

Usage: High-Integrity System Modeling

Guideline: hisl_0073: Usage of bit-shift operations

Description

This check identifies blocks or expressions that perform bit-shift operations greater than the bit width of input type that might result in violation of coding standards.

Check Parameters

Use the Model Advisor Configuration Editor to define the scope of the analysis by specifying the input parameters.

Parameter	Description
Check external .m files referenced in the model	Checks for external .m files referenced in the Simulink model. on (default) | off
Follow links	Verify and trace links within the Simulink model. on (default) | off
Look under masks	Specify whether to include masked model elements in the analysis. all (default) | none | graphical | functional all — Check analysis includes all masked model elements. none — Check analysis excludes masked model elements. graphical — Check analysis includes only the graphical masked model elements. functional — Check analysis includes only the functional masked model elements.

Recommended Actions and Results

Review the violations that are flagged by the check and the recommended action for fixing the issue. After applying the changes, save the model and rerun the check analysis.

Modeling Condition	Recommended Action
One or more blocks or expressions in the model perform bit-shift operations that are greater than the bit width of the input type.	Modify blocks and expressions to avoid bit-shift operations greater than the bit width of the input type.

Capabilities and Limitations

• Does not verify Expressions with signals as inputs. Such expressions must be verified manually

• Runs on library models

• Allows exclusions of blocks and charts

• Analyzes only active variant choices

• Performs model compilation

Version History

Introduced in R2021b