Main Content

AUTOSAR C++14 Rule A6-6-1

The goto statement shall not be used

expand all in page

Description

Rule Definition

The goto statement shall not be used.

Rationale

Unrestricted use of goto statements increases the complexity of the logic of a program and makes the code difficult to understand. Additionally, goto statements can introduce memory leaks or incorrectly release resources.

Polyspace Implementation

Polyspace reports a rule violation when you use a goto statement.

Troubleshooting

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

Examples

expand all

Polyspace reports a rule violation every time this code uses a goto statement.

void foo(void)
{
    int i = 0, result = 0;

label1:
    for (i; i < 5; i++) {
        if (i > 2) goto label2;     // Non-compliant
    }

label2: {
        result++;
        goto label1;                // Non-compliant
    }
}

Check Information

Group: Statements
Category: Required, Automated

Version History

Introduced in R2019a

See Also

Topics