mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
69e3d4bd9b
`revng_undefined_local_sp` was previously initially marked as using inaccessible memory and, later on, marked as reading only memory. Doing the latter right away is fine. This commit also does not assume that function is always available.