Unnecessary stateful warning when non-zero value argument is used #430

New Issue

2022-12-02T20:11:53+09:00

ghallak commented

2022-12-02 20:11:53 +09:00

(Migrated from gitlab.com)

Compiling a contract with the following function and warning enabled:

  payable stateful entrypoint
    call_missing_con() : int = (ct_1111111111111111111111111111112JF6Dz72 : Remote).id(value = 70, 0)

Would result in the following warning:

The function `call_missing_con` is unnecessarily marked as stateful.

Meanwhile this function must be stateful in order to pass a non-zero value argument to the function called from it.

Compiling a contract with the following function and warning enabled: ``` payable stateful entrypoint call_missing_con() : int = (ct_1111111111111111111111111111112JF6Dz72 : Remote).id(value = 70, 0) ``` Would result in the following warning: ``` The function `call_missing_con` is unnecessarily marked as stateful. ``` Meanwhile this function must be stateful in order to pass a non-zero `value` argument to the function called from it.

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: QPQ-AG/sophia#430