Le 21/09/2012 01:13, Timon Gehr a écrit : > You could post an enhancement request to allow interpretation of > incompletely-analyzed functions, if you think it is of any use. > I predict tricky implementation.