search for: __builtin_mul_overflow

...he same issues with >> earlier LLVM versions as well, or are you saying these errors are new >> with 4.0.0? >> > > I dug into a bit and here is a reproducer > > #include <stddef.h> > size_t n; > size_t s; > ptrdiff_t z; > main() > { > return __builtin_mul_overflow(n,s, &z); > } > > compiling with > clang --target=armv7l -mfloat-abi=hard hello.c -S > > This generates the call to __mulodi4 > > same code with gcc does not. > > I see that sqlite3 as well as m4 package pokes the compiler for these > builtins before using them....

Hi Khem, On Fri, Mar 10, 2017 at 1:03 PM, Khem Raj via llvm-dev <llvm-dev at lists.llvm.org> wrote: > On Fri, Mar 10, 2017 at 7:01 AM, Renato Golin via llvm-dev > <llvm-dev at lists.llvm.org> wrote: >> ARM and AArch64 looking good, uploaded. >> > > This is not particularly related to this RC but in general with 4.0.0 > I am seeing a failure quite common

..., int64_t *r); +/*@ + assigns *r; + behavior success: + assumes INT64_MIN <= a * b <= INT64_MAX; + ensures *r == a * b; + ensures \result == \false; + behavior overflow: + assumes !(INT64_MIN <= a * b <= INT64_MAX); + ensures \result == \true; + */ +extern bool __builtin_mul_overflow (int64_t a, int64_t b, int64_t *r); + +#endif /* FRAMA_C */ + +/* Return the number of µs (microseconds) *r = *y - *x. + * On overflow, returns -1. + */ +/*@ + requires \valid_read (x) && \valid_read (y); + requires valid_timeval (*x) && valid_timeval (*y); + requires \valid (r);...

...ss spaces) @@ expected char const *data @@ got char [noderchar const *data @@ drivers/gpu/drm/qxl/qxl_fb.c:166:21: expected char const *data drivers/gpu/drm/qxl/qxl_fb.c:166:21: got char [noderef] <asn:2>* include/linux/overflow.h:251:13: sparse: undefined identifier '__builtin_mul_overflow' include/linux/overflow.h:251:13: sparse: incorrect type in conditional include/linux/overflow.h:251:13: got void include/linux/overflow.h:251:13: sparse: call with no type! vim +166 drivers/gpu/drm/qxl/qxl_fb.c 130 131 /* 132 * FIXME 133 * It should not be necessar...