Il 02/12/2014 15:02, Richard Hipp ha scritto: > On Tue, Dec 2, 2014 at 8:53 AM, Dominique Devienne <ddevie...@gmail.com> > wrote: > >> On Tue, Dec 2, 2014 at 2:47 PM, Richard Hipp <d...@sqlite.org> wrote: >> >>> On Mon, Dec 1, 2014 at 5:46 PM, Hadley Wickham <h.wick...@gmail.com> >>> wrote: >>>> [...] has started running all R packages with USBAN. This reveals a >>> problem in sqlite.c >>> >>> I'm not sure what USBAN is >>> >> >> Most likely a typo. UBSan, Undefined Behavior Sanitizer (from GCC / Clang). >> > > OK, that makes sense. > > But we've been running 100% branch coverages tests of SQLite using > -fsanitize=undefined for a long while now (using clang), and we've never > encountered the issue that Hadley is having. So some other kind of > overzealousness is going on here as well, it seems.
The point is not about overzealousness, but about the declaration of memcpy/memset on your machine. If it contains the nonnull attribute then (correctly) UBSan detect that such constraint is not respected. -- Abramo Bagnara BUGSENG srl - http://bugseng.com mailto:abramo.bagn...@bugseng.com _______________________________________________ sqlite-users mailing list sqlite-users@sqlite.org http://sqlite.org:8080/cgi-bin/mailman/listinfo/sqlite-users
