>>>>> "Joel" == Joel Brobecker <brobecker@adacore.com> writes: [...] Joel> And therefore, it seems to me that the following code in Joel> c_value_of_variable is dead: I think your analysis is correct. Tom