balazske added inline comments.
================
Comment at: clang/test/Analysis/std-c-library-functions-arg-constraints.c:155
+ __buf_size_arg_constraint_mul(buf, s, sizeof(short));
+ clang_analyzer_eval(s * sizeof(short) <= 6); // \
+ // report-warning{{TRUE}} \
----------------
`s <= 3` is better here? We know that the buffer has space for 3 short's. But
it is better to assume nothing about `sizeof(short)`.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D77148/new/
https://reviews.llvm.org/D77148
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
