Skip to content
Snippets Groups Projects
user avatar
Valentin Perrelle authored
[Variadic] use indirect in assigns \result from to avoid garbled mix propagation

See merge request frama-c/frama-c!2357
00b9a2f6
History