NoQ added inline comments.
================
Comment at: clang/test/Analysis/c11lock.c:7
+enum {
+ thrd_success = 0,
+ thrd_error = 2
----------------
xazax.hun wrote:
> Strictly speaking, this is implementation defined. But the C11
> implementations I am aware of are following this trend (`thrd_success == 0`).
> E.g. if the implementation is using pthreads as a backend it is unlikely for
> this to be any other value.
Yeah, this is most likely fine but we should add a FIXME just in case. We could
most likely uncover the exact constant easily by simply matching the AST (and
abort all checking if the constant isn't found in the AST).
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D73376/new/
https://reviews.llvm.org/D73376
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
