use of "new" causes warning (#839) · Issues · pub / frama-c