Inlining discards side effects in unused arguments
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 48/100
Direzione di ricerca
Start by locating the inlining pass and its tests for unused function arguments; the issue does not name specific files. Trace how arguments are handled when a parameter is unused, then add a regression test based on the example that checks the storage write is emitted exactly once before the return. Done means inlining preserves the argument's side effect while returning 7.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Inlining a function that ignores one parameter discards side effects in the corresponding argument. In this example, the storage write disappears from the generated code.
function writeSlot() returns (word) {
assembly { sstore(0, 1) }
return 0;
}
function second(a: word, b: word) returns (word) { return b; }
contract C {
function main() returns (word) {
return second(writeSlot(), 7);
}
}
Actual: the emitted main contains only return 7; sstore(0, 1) has disappeared.
Expected: evaluate writeSlot() exactly once before returning 7, even though second does not use its first parameter. Inlining must preserve argument effects.
- Lingua principale
- Haskell
- Stelle
- 115
- Fork
- 11
- Merge medio
- 20h 29m
- PR unite (30g)
- 2
Preparare l'ambiente
Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di argotorg/solcore
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
-
user feedback: Rename `lam` to `lambda` and give the unit type a nameForse già presa @rodrigogribeiro l’ha presa 50 giorni fa. Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 92/100
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 57/100
Tutte le issue di argotorg/solcore
Issue simili
-
Allow QuickCheck 2.17Aperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 75/100
-
15-minutes 5-minutes algorithm any-language beginner-friendly c cpp csharp easy go good first issue hacktoberfest help wanted java javascript kotlin python rust swift typescript
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 68/100
Huerte/algo-solutions-python#260 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 65/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 62/100
IntersectMBO/cardano-ledger#6276 ·
I maintainer di solito rispondono entro 1 giorno