rules:
  - id: double_goto
    pattern: |
      if ($COND)
        goto $FAIL;
        goto $FAIL;
    message: The second goto statement will always be executed.
    languages: [c]
    severity: WARNING
    metadata:
      category: correctness
      technology:
        - c