mcp-server-semgrep/semgrep-rules/solidity/performance/use-prefix-decrement-not-postfix.yaml

MCP Server for Semgrep Integration - static code analysis with AI

rules:
    - id: use-prefix-decrement-not-postfix
      message: >-
        Consider using the prefix decrement expression whenever the return value is not needed.
        The prefix decrement expression is cheaper in terms of gas.
      metadata:
        references:
          - https://github.com/byterocket/c4-common-issues/blob/main/0-Gas-Optimizations.md/#g012---use-prefix-increment-instead-of-postfix-increment-if-possible
        category: performance
        technology:
          - solidity
      patterns:
        - pattern: $VAR--
        - pattern-not-inside: |
            $B = ...
        - pattern-not-inside: |
            if (<... $VAR-- ...>) {
              ... 
            }
        - pattern-not-inside: require (<... $VAR-- ...>)
        - pattern-not-inside: |
            while (<... $VAR-- ...>) {
              ...
            }
        - pattern-not-inside: |
            return ...;
      languages:
        - solidity
      severity: INFO