Данное диагностическое правило основано на руководстве MISRA (Motor Industry Software Reliability Association) по разработке программного обеспечения.
Данное диагностическое правило актуально только для C. Использование оператора 'goto' может привести к нарушению структуры программы и усложнению понимания кода. Данное диагностическое правило выявляет места использования оператора 'goto'.
Пример кода, на который анализатор выдаст предупреждение:
int foo(int value) { .... if (value==0) goto bad_arg; .... return OK; bad_arg: return BAD_ARG; }
Данная диагностика классифицируется как:
|