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
If I recall correctly the silent conversion is a historical artifact of it being required in the CheriBSD hybrid kernel many years ago. However, also implicitly change the type rather than just the capability-ness is clearly a bug.
We should probably also remove the implicit conversion from function ptr -> function cap.
Somehow, it seems that function pointers are implicitly convertible to any capability type in hybrid C:
This yields no warning at all.
The text was updated successfully, but these errors were encountered: