Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[U304-024] Set but not used after call warnings #32

Open
treiher opened this issue Mar 5, 2021 · 0 comments
Open

[U304-024] Set but not used after call warnings #32

treiher opened this issue Mar 5, 2021 · 0 comments
Labels
Found in Community 2019 Found in Community 2020 SPARK

Comments

@treiher
Copy link
Member

treiher commented Mar 5, 2021

Issue

A warning about a set but not used argument after a call is shown, although there is no further use for this argument.

Workaround

  1. Suppress warning by Warnings pragma.
  2. Call specific ghost procedure with the affected argument (e.g., Ignore (Arg))
  3. Use assertion with specific ghost function (e.g., pragma Assert (Is_Empty (Arg)))
treiher added a commit to AdaCore/RecordFlux that referenced this issue Mar 5, 2021
@treiher
Suppress warnings about set but not used arguments
866e239 
Ref. #494, Componolit/Workarounds#32
treiher added a commit to AdaCore/RecordFlux that referenced this issue Mar 8, 2021
@treiher
Suppress warnings about set but not used arguments
d961666 
Ref. #494, Componolit/Workarounds#32
treiher added a commit to AdaCore/RecordFlux that referenced this issue Mar 9, 2021
@treiher
Suppress warnings about set but not used arguments
5bc765a 
Ref. #494, Componolit/Workarounds#32
treiher added a commit to AdaCore/RecordFlux that referenced this issue Mar 23, 2021
@treiher
Suppress warnings about set but not used arguments in example apps
ae38256 
Ref. #494, Componolit/Workarounds#32
treiher added a commit to AdaCore/RecordFlux that referenced this issue Mar 24, 2021
@treiher
Suppress warnings about set but not used arguments in example apps
f63b13a 
Ref. #494, Componolit/Workarounds#32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Found in Community 2019 Found in Community 2020 SPARK
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@treiher