You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
doesn't seem to provoke any diagnostic. Conversely, a cast in the other direction provokes an error suggesting use of __cheri_fromcap (as expected). I seem to remember that CHERI LLVM used to warn on this (and suggested use of __cheri_tocap). Did this get dropped intentionally, or am I misremembering?
The text was updated successfully, but these errors were encountered:
I noticed that CHERI-LLVM no longer seems to be warning about casting integer pointers to capability pointers in hybrid. E.g.:
doesn't seem to provoke any diagnostic. Conversely, a cast in the other direction provokes an error suggesting use of
__cheri_fromcap
(as expected). I seem to remember that CHERI LLVM used to warn on this (and suggested use of__cheri_tocap
). Did this get dropped intentionally, or am I misremembering?The text was updated successfully, but these errors were encountered: