Tobias Decking
Tobias Decking
The following snippet causes a panic: ```c void __cdecl free(void*); void apply(void* ptr, void (*f)(void *)); void crash(void* ptr) { apply(ptr, free); } ``` The panic can also be triggered...
* The following operations have been rewritten and can now be consumed by miri: * Saturating arithmetic * Comparison operations * Maximum/Minimum * Byte average * High multiplication * Integer...
The current minimum LLVM version seems to be 18, way larger than required for resolving this FIXME.