search for: checkfail

Dear Developers, I would like get detailed info if verification of the intermediate representation fails. Currently I am using IRBuilder to create a module, and I encountered an error, which I cannot trace back to the IRBuilder related call, which caused the error: "Instruction does not dominate all uses! %14 = load i32, i32* @r6 <https://github.com/r6> %11 = trunc i32 %14 to i8 LLVM

...: 32410 bits: 30791 indir: 714 units: 4975 exec/s: 0 NEW0: 32410 L 13869 ==31301==AddressSanitizer CHECK failed: /home/brian/src/fuzzpy/llvm_src/llvm/projects/compiler-rt/lib/sanitizer_common/sanitizer_coverage_libcdep.cc:467 "((n % 16)) == ((0))" (0x1, 0x0) #0 0x11d3b7 in __asan::AsanCheckFailed(char const*, int, char const*, unsigned long long, unsigned long long) /home/brian/src/fuzzpy/llvm_src/llvm/projects/compiler-rt/lib/asan/asan_rtl.cc:67:3 #1 0x122f1f in __sanitizer::CheckFailed(char const*, int, char const*, unsigned long long, unsigned long long) /home/brian/src/fuzzpy/llvm...

...ec/s: 0 >> NEW0: 32410 L 13869 >> ==31301==AddressSanitizer CHECK failed: >> /home/brian/src/fuzzpy/llvm_src/llvm/projects/compiler-rt/lib/sanitizer_common/sanitizer_coverage_libcdep.cc:467 >> "((n % 16)) == ((0))" (0x1, 0x0) >> #0 0x11d3b7 in __asan::AsanCheckFailed(char const*, int, char const*, >> unsigned long long, unsigned long long) >> /home/brian/src/fuzzpy/llvm_src/llvm/projects/compiler-rt/lib/asan/asan_rtl.cc:67:3 >> #1 0x122f1f in __sanitizer::CheckFailed(char const*, int, char >> const*, unsigned long long, unsigned lo...

...3869 >>>> ==31301==AddressSanitizer CHECK failed: >>>> /home/brian/src/fuzzpy/llvm_src/llvm/projects/compiler-rt/lib/sanitizer_common/sanitizer_coverage_libcdep.cc:467 >>>> "((n % 16)) == ((0))" (0x1, 0x0) >>>> #0 0x11d3b7 in __asan::AsanCheckFailed(char const*, int, char >>>> const*, unsigned long long, unsigned long long) >>>> /home/brian/src/fuzzpy/llvm_src/llvm/projects/compiler-rt/lib/asan/asan_rtl.cc:67:3 >>>> #1 0x122f1f in __sanitizer::CheckFailed(char const*, int, char >>>> const*,...

...problem is that on i386 (aka 32-bit x86) all programs compiled with -fsanitize=address now die with: ==11122==AddressSanitizer CHECK failed: /usr/src/contrib/compiler-rt/lib/asan/asan_poisoning.cc:36 "((AddrIsAlignedByGranularity(addr))) != (0)" (0x0, 0x0) #0 0x806f163 in __asan::AsanCheckFailed(char const*, int, char const, unsigned long long, unsigned long long) (/share/dim/src/misc/hw+0x806f163) #1 0x805dce3 in __sanitizer::CheckFailed(char const*, int, char const, unsigned long long, unsigned long long) (/share/dim/src/misc/hw+0x805dce3) #2 0x80dfc65 in __asan::PoisonShadow(u...

...ruction.h:172 #4 0x08357c13 in llvm::operator<< (OS=@0x8794f48, V=@0x877b488) at /work/aditya/llvm-2.2/include/llvm/Value.h:221 #5 0x0863ceb5 in (anonymous namespace)::Verifier::WriteValue (this=0x8794f18, V=0x877b488) at Verifier.cpp:272 #6 0x0863d139 in (anonymous namespace)::Verifier::CheckFailed (this=0x8794f18, Message=@0xbfa1a878, V1=0x877b488, V2=0x0, V3=0x0, V4=0x0) at Verifier.cpp:292 #7 0x08636ba2 in (anonymous namespace)::Verifier::visitInstruction (this=0x8794f18, I=@0x877b488) at Verifier.cpp:1077 #8 0x08637807 in (anonymous namespace)::Verifier::visitAllocationInst (this=...

...struction.h:172 #4 0x08357c13 in llvm::operator<< (OS=@0x8794f48, V=@0x877b488) at /work/aditya/llvm-2.2/include/llvm/Value.h:221 #5 0x0863ceb5 in (anonymous namespace)::Verifier::WriteValue (this=0x8794f18, V=0x877b488) at Verifier.cpp:272 #6 0x0863d139 in (anonymous namespace)::Verifier::CheckFailed (this=0x8794f18, Message=@0xbfa1a878, V1=0x877b488, V2=0x0, V3=0x0, V4=0x0) at Verifier.cpp:292 #7 0x08636ba2 in (anonymous namespace)::Verifier::visitInstruction (this=0x8794f18, I=@0x877b488) at Verifier.cpp:1077 #8 0x08637807 in (anonymous namespace)::Verifier::visitAllocationInst (this=0x87...

On Sat, Jul 29, 2017 at 4:59 AM, Dimitry Andric <dimitry at andric.com> wrote: > On 27 Jul 2017, at 00:41, Hans Wennborg via cfe-dev <cfe-dev at lists.llvm.org> wrote: >> >> 5.0.0-rc1 has just been tagged. >> >> Please build, test and upload binaries to the sftp. Let me know if >> there are any issues. > > Built and tested rc1. Test failures on

...00 (67584) bytes at address 0x631000014800 ==10525==AddressSanitizer CHECK failed: /usr/local/google/home/blaikie/dev/llvm/src/projects/compiler-rt/lib/sanitizer_common/sanitizer_posix.cc:143 "(("unable to unmap" && 0)) != (0)" (0x0, 0x0) #0 0x51f42f in __asan::AsanCheckFailed(char const*, int, char const*, unsigned long long, unsigned long long) /usr/local/google/home/blaikie/dev/llvm/src/projects/compiler-rt/lib/asan/asan_rtl.cc:69:3 #1 0x532eff in __sanitizer::CheckFailed(char const*, int, char const*, unsigned long long, unsigned long long) /usr/local/google/h...

...0x631000014800 > > ==10525==AddressSanitizer CHECK failed: > /usr/local/google/home/blaikie/dev/llvm/src/projects/compiler-rt/lib/sanitizer_common/sanitizer_posix.cc:143 > "(("unable to unmap" && 0)) != (0)" (0x0, 0x0) > > #0 0x51f42f in __asan::AsanCheckFailed(char const*, int, char const*, > unsigned long long, unsigned long long) > /usr/local/google/home/blaikie/dev/llvm/src/projects/compiler-rt/lib/asan/asan_rtl.cc:69:3 > > #1 0x532eff in __sanitizer::CheckFailed(char const*, int, char > const*, unsigned long long, unsigned long l...