diff options
Diffstat (limited to 'backend/Asmexpandaux.ml')
| -rw-r--r-- | backend/Asmexpandaux.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/backend/Asmexpandaux.ml b/backend/Asmexpandaux.ml index 13aa71d2..07e33efa 100644 --- a/backend/Asmexpandaux.ml +++ b/backend/Asmexpandaux.ml @@ -82,7 +82,8 @@ let translate_annot sp preg_to_dwarf annot = | BA_single _ | BA_loadglobal _ | BA_addrglobal _ - | BA_loadstack _ -> None + | BA_loadstack _ + | BA_addptr _ -> None | BA_addrstack ofs -> Some (sp,BA_addrstack ofs) | BA_splitlong (hi,lo) -> begin |