MISRA C++:2023 Rule 8.3.1

The built-in unary - operator should not be applied to an expression of unsigned type

Since R2024b

Description

Rule Definition

The built-in unary - operator should not be applied to an expression of unsigned type. 1

Polyspace Implementation

Polyspace® flags a casting operation if it converts a pointer type variable to an integral type variable.

Troubleshooting

If you expect a rule violation but Polyspace does not report it, see Diagnose Why Coding Standard Violations Do Not Appear as Expected.

Check Information

Group: Expressions
Category: Advisory

Version History

Introduced in R2024b

See Also

Topics

1 All MISRA coding rules and directives are © Copyright The MISRA Consortium Limited 2021.

The MISRA coding standards referenced in the Polyspace Bug Finder™ documentation are from the following MISRA standards:

  • MISRA C:2004

  • MISRA C:2012

  • MISRA C:2023

  • MISRA C++:2008

  • MISRA C++:2023

MISRA and MISRA C are registered trademarks of The MISRA Consortium Limited 2021.