Enumeration out parameters cause failed precondition from ireps.ads:1875 in gnat2goto

[tjj2017]

No description provided.

[tjj2017]

gnat2goto fails with above precondition failure when translating UKNI/main.adb line 247 which calls a procedure with an enumeration out parameter.

The problem seems to lie in gnat2goto driver/tree_walk.adb procedure Handle_Parameter. The function Wrap_Argument is called with a parameter obtained from the call of the function Handle_Enum_Symbol_Members which appears to return the wrong sort of Irep for the function Make_Address_Of called by Wrap_Argument.

Regression test created in PR #262 to demonstrate this fault.

[tjj2017]

A bit more information following investigation to failed precondition from reps.ads:1655 PR #265. The kind of Irep passed to Set_Object called by Make_Address_Of is I_SYMBOL_EXPR which does not satisfy the precondition of Set_Object which is
Pre => Kind (I) in I_Address_Of_Expr
| I_Dereference_Expr and then
Kind (Value) in Class_Expr;