jhorstmann commented on issue #2856: URL: https://github.com/apache/arrow-rs/issues/2856#issuecomment-1273811754
This exact issue seems to be described in [Help, Miri suddenly says my code is broken](https://www.ralfj.de/blog/2022/07/02/miri.html#help-miri-suddenly-says-my-code-is-broken). Raw pointer tracking seems to have been optional in earlier versions using the `-Zmiri-tag-raw-pointers` flag, but is now always enabled. I did not see a flag to disable this tracking. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
