Skip to content

Fix some unused variable warnings. #645

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

Open
wants to merge 12 commits into
base: master
Choose a base branch
from
Open

Fix some unused variable warnings. #645

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
29d9693
Fix warnings
Dec 10, 2020
75da1f1
tmp
Dec 10, 2020
6441678
tmp
Dec 10, 2020
46e7b69
Tmp
Dec 14, 2020
388a3bf
tmp
Dec 15, 2020
669377d
tmp
Dec 15, 2020
b1f0100
tmp
Dec 16, 2020
c11f7d3
tmp
Dec 16, 2020
4f30526
tmp
Dec 16, 2020
9cd019b
tmp
Dec 16, 2020
eb6776b
tmp
Dec 16, 2020
0e4924f
tmp
Dec 16, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
Fix warnings
  • Loading branch information
Virgil Serbanuta committed Dec 10, 2020
commit 29d9693d1c64964423482940cf705ee47e383029
2 changes: 1 addition & 1 deletion semantics/common/compat.k
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -86,7 +86,7 @@ module COMPAT-KAST [kast]
imports BOOL
imports K-EQUAL

rule some(.Map::Map, Lbl:K) => false
rule some(.Map::Map, _Lbl:K) => false
rule some(K1:KItem |-> K2:KItem M::Map, #klabel(Lbl:KLabel)) => Lbl(K1, K2) orBool some(M, #klabel(Lbl)) [owise]

rule mapList(ListItem(K:KItem) L:List, #klabel(Lbl:KLabel)) => ListItem(Lbl(K)) mapList(L, #klabel(Lbl))
Expand Down
2 changes: 1 addition & 1 deletion semantics/common/symloc.k
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -288,7 +288,7 @@ module SYMLOC
rule stripFromArray(Loc:SymLoc) => Loc [owise]

rule getFromArray(loc(_, _, SetItem(fromArray(...) #as F::Provenance) _)) => F
rule getFromArray(Loc::SymLoc) => .K [owise]
rule getFromArray(_::SymLoc) => .K [owise]

rule stripProv(loc(Base:SymBase, Offset:Int, _)) => loc(Base, Offset)
rule stripProv(loc(Base:SymBase, Offset:Int)) => loc(Base, Offset)
Expand Down