You are viewing a plain text version of this content. The canonical link for it is here.

Posted to github@arrow.apache.org by GitBox <gi...@apache.org> on 2021/05/18 21:51:31 UTC

[GitHub] [arrow-rs] roee88 opened a new issue #322: Undefined behavior in FFI implementation

roee88 opened a new issue #322:
URL: https://github.com/apache/arrow-rs/issues/322


   **Describe the bug**
   
   The FFI implementation fails MIRI test because of aliasing rule violation
   
   References:
   - https://github.com/apache/arrow-rs/pull/287#pullrequestreview-660117704
   - https://github.com/rust-lang/miri/issues/1800
   
   **To Reproduce**
   
   ```
   cargo +nightly miri test -p arrow test_u32 
   ```
   
   **Expected behavior**
   
   No undefined behavior
   
   **Additional context**
   
   Related to https://github.com/apache/arrow-rs/issues/227 (but there are a lot of other MIRI detected issues after this one). 


-- 
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.

For queries about this service, please contact Infrastructure at:
users@infra.apache.org

[GitHub] [arrow-rs] alamb closed issue #322: Undefined behavior in FFI implementation

Posted by GitBox <gi...@apache.org>.

alamb closed issue #322:
URL: https://github.com/apache/arrow-rs/issues/322


   


-- 
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.

For queries about this service, please contact Infrastructure at:
users@infra.apache.org