uncheckedExpression

Coverity Documentation

Version
latest

Matches unchecked expressions.

This pattern only matches nodes of type expression.

Properties

uncheckedExpression produces a record that contains the following property:

Name Type Description
expression expression The expression

Inherits properties from:

Example

The following CodeXM pattern matches all unchecked expression on integer types:


CXM code follows
    pattern uncheckedExpressionOnInt {
        uncheckedExpression {
            .expression == expression {
                .type == integralType
            }
        }
    };