access to volatile variable is eliminated from AST (#1190) · Issues · pub / frama-c