arrayType

Coverity Documentation

Version
latest

Matches all array types.

This pattern only matches nodes of type type.

Properties

arrayType produces a record that contains the following property:

Name Type Description
elementType type The type of the elements in the array

Example

The following pattern finds all arrays whose elements are any type of integer:


CXM code follows
    t matches arrayType {
        .elementType == integralType
    };