Effective boolean types (-boolean-types)

Description

Specify data types that the coding rule checker must treat as effectively Boolean. You can specify a data type as effectively Boolean only if you have defined it through an enum or typedef statement in your source code.

Polyspace^® natively supports these boolean types, depending on your language:

Type _Bool in C99 once you include stdbool.h in one of your source files.
Type bool in C11 and for all versions of C++.

Set Option

User interface (desktop products only): In your project configuration, the option is on the Coding Standards & Code Metrics node. See Dependencies for other options that you must also enable.

User interface (Polyspace Platform, desktop products only): In your project configuration, the option is on the Static Analysis tab on the Defects and Coding Standards > Checkers Behavior node.

Command line and options file: Use the option -boolean-types. See Command-Line Information.

Why Use This Option

Use this option to allow Polyspace to check the following coding rules:

MISRA C™: 2004 and MISRA™ AC AGC

Rule Number	Rule Statement
12.6	Operands of logical operators, `&&`, `\|\|`, and `!`, should be effectively Boolean. Expressions that are effectively Boolean should not be used as operands to other operators.
13.2	Tests of a value against zero should be made explicit, unless the operand is effectively Boolean.
15.4	A `switch` expression should not represent a value that is effectively Boolean.

MISRA C: 2012

Rule Number	Rule Statement
10.1	Operands shall not be of an inappropriate essential type
10.3	The value of an expression shall not be assigned to an object with a narrower essential type or of a different essential type category
10.5	The value of an expression should not be cast to an inappropriate essential type
14.4	The controlling expression of an if statement and the controlling expression of an iteration-statement shall have essentially Boolean type.
16.7	A switch-expression shall not have essentially Boolean type.

MISRA C: 2023

Rule Number	Rule Statement
10.1	Operands shall not be of an inappropriate essential type
10.3	The value of an expression shall not be assigned to an object with a narrower essential type or of a different essential type category
10.5	The value of an expression should not be cast to an inappropriate essential type
14.4	The controlling expression of an if statement and the controlling expression of an iteration-statement shall have essentially Boolean type.
16.7	A switch-expression shall not have essentially Boolean type.

For example, in the following code, Polyspace detects a violation of MISRA C: 2012 rule 14.4 because boolean_T is not recognized as effective boolean. If you rerun the analysis and specify option -boolean-types boolean_T, Polyspace considers that the code is compliant with rule 14.4.

typedef int boolean_T;

void func1(void);
void func2(void);

void func(boolean_T flag) {
    if(flag) // No misra2012 14.4 violation when you use -boolean-types
        func1();
    else
        func2();
}

Settings

No Default

Click to add a field. Enter a type name that you want Polyspace to treat as Boolean.

Dependencies

This option is enabled only if you select one of these options:

Command-Line Information

Parameter: -boolean-types

Value: type1[,type2[,...]]

No Default

Example (Bug Finder):

polyspace-bug-finder
-sources filename -misra2 required-rules
-boolean-types boolean1_t,boolean2_t

Example (Bug Finder Server):

polyspace-bug-finder-server -sources filename
                    -misra2 required-rules -boolean-types boolean1_t,boolean2_t

Effective boolean types (`-boolean-types`)