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
yapall> error: Opaque pointers are only supported in -opaque-pointers mode (Producer: 'LLVM15.0.7' Reader: 'LLVM 14.0.6')
yapall> error: test failed, to rerun pass `--test pointer`
This is a specific instance of the general issues noted by #46
The text was updated successfully, but these errors were encountered:
langston-barrett
changed the title
Pointer test failing with LLVM version mismatch regarding opaque pointers.
Rust tests failing with LLVM version mismatch regarding opaque pointers
Aug 30, 2023
Looks like this is specifically the tests that perform pointer analysis on the output of rustc. I think what happened here is that when I started developing yapall, rustc was based on LLVM 14, but these days it's based on LLVM 15.
(See https://github.com/GaloisInc/yapall/actions/runs/6029699696/job/16359835202?pr=47#step:5:950 or https://github.com/GaloisInc/yapall/actions/runs/6030069826/job/16361088971?pr=50)
This is a specific instance of the general issues noted by #46
The text was updated successfully, but these errors were encountered: