diff options
Diffstat (limited to 'ortho/debug/ortho_debug.adb')
| -rw-r--r-- | ortho/debug/ortho_debug.adb | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/ortho/debug/ortho_debug.adb b/ortho/debug/ortho_debug.adb index 74c80788f..023729b27 100644 --- a/ortho/debug/ortho_debug.adb +++ b/ortho/debug/ortho_debug.adb @@ -437,13 +437,17 @@ package body Ortho_Debug is S_Type => Atype); end New_Alignof; - function New_Offsetof (Field : O_Fnode; Rtype : O_Tnode) return O_Cnode + function New_Offsetof (Rec_Type : O_Tnode; Field : O_Fnode; Rtype : O_Tnode) + return O_Cnode is subtype O_Cnode_Offsetof_Type is O_Cnode_Type (OC_Offsetof_Lit); begin if Rtype.Kind /= ON_Unsigned_Type then raise Type_Error; end if; + if Field.Parent /= Rec_Type then + raise Type_Error; + end if; return new O_Cnode_Offsetof_Type'(Kind => OC_Offsetof_Lit, Ctype => Rtype, Ref => False, |