<div dir="ltr">Hi, <div><br></div><div>I have found a bitcode test program that triggers a miscompilation bug in an LLVM pass. However, when I use bugpoint to reduce the program, I encounter several problems. It would be great if someone can give me some advice.</div><div><br></div><div>(1) Ensure the validity of the reduced test program. </div><div><br></div><div>Is it necessary to add some checks in the interestingness script to ensure the validity of the reduced programs? </div><div><br></div><div>I tried to use various sanitizers to achieve this (asan, ubsan, msan). However, I always get the following error </div><div><br></div><div><div>    ==9070==ERROR: AddressSanitizer failed to allocate 0xdfff0001000 (15392894357504) bytes at address 2008fff7000 (errno: 12)</div><div>    ==9070==ReserveShadowMemoryRange failed while trying to map 0xdfff0001000 bytes. Perhaps you're using ulimit -v</div></div><div><br></div><div>If I directly run these scripts, then the sanitizers can run smoothly.</div><div><br></div><div><br></div><div>(2) The minimality of the reduced test program.</div><div><br></div><div>Is the reduced test program by bugpoint minimal? I managed to reduce several programs (without using the sanitizers), however, the sizes are usually still big. I saw the test programs reduced by LLVM developers attached in bug reports, and they were usually very small, ~10 lines. Do you also use Delta to further minimize the test programs? </div><div><br></div><div>Thank you. </div><div><br></div><div>Chengnian. </div><div><br></div><div><br></div><div><br></div><div><br>
</div></div>