search for: undefinedbehaviorsanitizer

I am building LLVM on OS X 10.7.5 with cmake. Under this configuration some ASan and UBSan tests are failing: $ make check-ubsan … ******************** Testing Time: 2.36s ******************** Failing Tests (11): UndefinedBehaviorSanitizer :: Float/cast-overflow.cpp UndefinedBehaviorSanitizer :: Integer/add-overflow.cpp UndefinedBehaviorSanitizer :: Integer/div-zero.cpp UndefinedBehaviorSanitizer :: Integer/no-recover.cpp UndefinedBehaviorSanitizer :: Integer/sub-overflow.cpp UndefinedBehaviorSanitizer :: Integer/...

...Meador Inge wrote: > I am building LLVM on OS X 10.7.5 with cmake. Under this configuration some ASan and UBSan tests > are failing: > > $ make check-ubsan > > … > > ******************** > Testing Time: 2.36s > ******************** > Failing Tests (11): > UndefinedBehaviorSanitizer :: Float/cast-overflow.cpp > UndefinedBehaviorSanitizer :: Integer/add-overflow.cpp > UndefinedBehaviorSanitizer :: Integer/div-zero.cpp > UndefinedBehaviorSanitizer :: Integer/no-recover.cpp > UndefinedBehaviorSanitizer :: Integer/sub-overflow.cpp > UndefinedBehaviorS...

...on OS X 10.7.5 with cmake. Under this configuration some ASan and UBSan tests >> are failing: >> >> $ make check-ubsan >> >> … >> >> ******************** >> Testing Time: 2.36s >> ******************** >> Failing Tests (11): >> UndefinedBehaviorSanitizer :: Float/cast-overflow.cpp >> UndefinedBehaviorSanitizer :: Integer/add-overflow.cpp >> UndefinedBehaviorSanitizer :: Integer/div-zero.cpp >> UndefinedBehaviorSanitizer :: Integer/no-recover.cpp >> UndefinedBehaviorSanitizer :: Integer/sub-overflow.cpp >> Und...

...; some ASan and UBSan tests > >> are failing: > >> > >> $ make check-ubsan > >> > >> … > >> > >> ******************** > >> Testing Time: 2.36s > >> ******************** > >> Failing Tests (11): > >> UndefinedBehaviorSanitizer :: Float/cast-overflow.cpp > >> UndefinedBehaviorSanitizer :: Integer/add-overflow.cpp > >> UndefinedBehaviorSanitizer :: Integer/div-zero.cpp > >> UndefinedBehaviorSanitizer :: Integer/no-recover.cpp > >> UndefinedBehaviorSanitizer :: Integer/sub-overflo...

Hi Evgeniy, So, to XFAIL some UBSAN failues, I found an issue: UndefinedBehaviorSanitizer-AddressSanitizer :: TestCases/TypeCheck/vptr.cpp UndefinedBehaviorSanitizer-Standalone :: TestCases/Misc/missing_return.cpp These two tests fail on that configuration, but pass when reversed. So, if I XFAIL: armv7l..., I get the following error: UndefinedBehaviorSanitizer-AddressSanitizer...

When I build compiler-rt with clang 3.2, all lsan tests pass. The only failing tests I see are in ubsan: Failing Tests (6): UndefinedBehaviorSanitizer :: Float/cast-overflow.cpp UndefinedBehaviorSanitizer :: Integer/add-overflow.cpp UndefinedBehaviorSanitizer :: Integer/div-zero.cpp UndefinedBehaviorSanitizer :: Integer/sub-overflow.cpp UndefinedBehaviorSanitizer :: Integer/uadd-overflow.cpp UndefinedBehaviorSanitizer :: Integ...

On Sat, May 25, 2013 at 4:12 AM, Greg Fitzgerald <garious at gmail.com> wrote: > When I build compiler-rt with clang 3.2, all lsan tests pass. The only > failing tests I see are in ubsan: > > Failing Tests (6): > UndefinedBehaviorSanitizer :: Float/cast-overflow.cpp > UndefinedBehaviorSanitizer :: Integer/add-overflow.cpp > UndefinedBehaviorSanitizer :: Integer/div-zero.cpp > UndefinedBehaviorSanitizer :: Integer/sub-overflow.cpp > UndefinedBehaviorSanitizer :: Integer/uadd-overflow.cpp > UndefinedB...

...t;> On Sat, May 25, 2013 at 4:12 AM, Greg Fitzgerald <garious at gmail.com> >> wrote: >> > When I build compiler-rt with clang 3.2, all lsan tests pass. The only >> > failing tests I see are in ubsan: >> > >> > Failing Tests (6): >> > UndefinedBehaviorSanitizer :: Float/cast-overflow.cpp >> > UndefinedBehaviorSanitizer :: Integer/add-overflow.cpp >> > UndefinedBehaviorSanitizer :: Integer/div-zero.cpp >> > UndefinedBehaviorSanitizer :: Integer/sub-overflow.cpp >> > UndefinedBehaviorSanitizer :: Integer/u...

I've been working on adding UBSan support to CMake (so that errors found by it can be uploaded to CDash for viewing). One problem is that the message is very generic. The patch here addes 'UndefinedBehaviorSanitizer' to the message so that they may be detected more easily. If something else is wanted (such as the '===' lines from ASan or TSan to cope with things like printing the backtrace, that would be possible as well. It would also be nice if there were a blurb on what the error was rather tha...

I blame this line in lsan/lit_tests/lit.cfg: # Setup attributes common for all compiler-rt projects. compiler_rt_lit_cfg = os.path.join(llvm_src_root, "projects", "compiler-rt", "lib", "lit.common.cfg") On Fri, May 24, 2013 at 2:53 PM, Alexey Samsonov <samsonov at google.com>wrote: > > On Fri, May 24,

...at gmail.com> wrote: > On Sat, May 25, 2013 at 4:12 AM, Greg Fitzgerald <garious at gmail.com> > wrote: > > When I build compiler-rt with clang 3.2, all lsan tests pass. The only > > failing tests I see are in ubsan: > > > > Failing Tests (6): > > UndefinedBehaviorSanitizer :: Float/cast-overflow.cpp > > UndefinedBehaviorSanitizer :: Integer/add-overflow.cpp > > UndefinedBehaviorSanitizer :: Integer/div-zero.cpp > > UndefinedBehaviorSanitizer :: Integer/sub-overflow.cpp > > UndefinedBehaviorSanitizer :: Integer/uadd-overflow.cpp...

...013 at 4:12 AM, Greg Fitzgerald <garious at gmail.com> >>> wrote: >>> > When I build compiler-rt with clang 3.2, all lsan tests pass. The only >>> > failing tests I see are in ubsan: >>> > >>> > Failing Tests (6): >>> > UndefinedBehaviorSanitizer :: Float/cast-overflow.cpp >>> > UndefinedBehaviorSanitizer :: Integer/add-overflow.cpp >>> > UndefinedBehaviorSanitizer :: Integer/div-zero.cpp >>> > UndefinedBehaviorSanitizer :: Integer/sub-overflow.cpp >>> > UndefinedBehaviorSaniti...

...013 at 4:12 AM, Greg Fitzgerald <garious at gmail.com> >>> wrote: >>> > When I build compiler-rt with clang 3.2, all lsan tests pass. The only >>> > failing tests I see are in ubsan: >>> > >>> > Failing Tests (6): >>> > UndefinedBehaviorSanitizer :: Float/cast-overflow.cpp >>> > UndefinedBehaviorSanitizer :: Integer/add-overflow.cpp >>> > UndefinedBehaviorSanitizer :: Integer/div-zero.cpp >>> > UndefinedBehaviorSanitizer :: Integer/sub-overflow.cpp >>> > UndefinedBehaviorSaniti...

...4:12 AM, Greg Fitzgerald <garious at gmail.com> wrote: >>>> > When I build compiler-rt with clang 3.2, all lsan tests pass. The only >>>> > failing tests I see are in ubsan: >>>> > >>>> > Failing Tests (6): >>>> > UndefinedBehaviorSanitizer :: Float/cast-overflow.cpp >>>> > UndefinedBehaviorSanitizer :: Integer/add-overflow.cpp >>>> > UndefinedBehaviorSanitizer :: Integer/div-zero.cpp >>>> > UndefinedBehaviorSanitizer :: Integer/sub-overflow.cpp >>>> > Undefin...

...>>> wrote: >>>>> > When I build compiler-rt with clang 3.2, all lsan tests pass. The >>>>> only >>>>> > failing tests I see are in ubsan: >>>>> > >>>>> > Failing Tests (6): >>>>> > UndefinedBehaviorSanitizer :: Float/cast-overflow.cpp >>>>> > UndefinedBehaviorSanitizer :: Integer/add-overflow.cpp >>>>> > UndefinedBehaviorSanitizer :: Integer/div-zero.cpp >>>>> > UndefinedBehaviorSanitizer :: Integer/sub-overflow.cpp >>>>>...

...us at gmail.com> >>>> wrote: >>>> > When I build compiler-rt with clang 3.2, all lsan tests pass. The >>>> only >>>> > failing tests I see are in ubsan: >>>> > >>>> > Failing Tests (6): >>>> > UndefinedBehaviorSanitizer :: Float/cast-overflow.cpp >>>> > UndefinedBehaviorSanitizer :: Integer/add-overflow.cpp >>>> > UndefinedBehaviorSanitizer :: Integer/div-zero.cpp >>>> > UndefinedBehaviorSanitizer :: Integer/sub-overflow.cpp >>>> > Undefin...

...>>>>> > When I build compiler-rt with clang 3.2, all lsan tests pass. The >>>>>> only >>>>>> > failing tests I see are in ubsan: >>>>>> > >>>>>> > Failing Tests (6): >>>>>> > UndefinedBehaviorSanitizer :: Float/cast-overflow.cpp >>>>>> > UndefinedBehaviorSanitizer :: Integer/add-overflow.cpp >>>>>> > UndefinedBehaviorSanitizer :: Integer/div-zero.cpp >>>>>> > UndefinedBehaviorSanitizer :: Integer/sub-overflow.cpp >>&...

Kostya, Christophe, I'm running the full tests on AARch64 and the only RT test that fails is: UndefinedBehaviorSanitizer-Standalone :: TestCases/Float/cast-overflow.cpp The problem seems to be a trap in __sanitizer::internal_memchr() while trying to handle __ubsan::__ubsan_handle_float_cast_overflow(). I haven't looked at it in detail, has anyone seen this? Is UBSan meant to run on AArch64? Should we mark this...

...to what seems to be a sanitizer issue stemming from its use of bigmemory. bigKRLS works fine (we?ve used it ourselves on many different platforms and have had over 15,000 downloads without an end user reporting difficulties because of this issue). Unfortunately, we have been unable to reproduce the UndefinedBehaviorSanitizer error locally, and are unsure how to proceed. We corresponded with Michael Kane, author of bigmemory, who seems to think the issue may be on the CRAN side. At his suggestion, we switched to filebacked big matrices, which didn?t resolve the issue. We also tried adding MAIN_LDFLAGS = -fsanitize=undef...

Hello, I have several low priority UBSan questions... (1) Is there a way for UBSan to print its output to a file that the user specified (e.g. via option) instead of dumping everything on stderr? (2) Out of curiosity, why is the name of the option for printing the stacktrace spelled "UBSAN_OPTIONS=print_stacktrace=1", though the allowed value is 1? Since the only one value is