[PATCH] D60808: [analyzer] pr41335: NoStoreFuncVisitor: Fix crash when no-store event is in a body-farmed function.
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Apr 16 22:17:31 PDT 2019
NoQ added a comment.
Hmm, i think i'd love to know why doesn't the uninitialized variable checker fire on the if-statement as farmed by the body farm:
592 // Signature:
593 // _Bool OSAtomicCompareAndSwapPtr(void *__oldValue,
594 // void *__newValue,
595 // void * volatile *__theValue)
596 // Generate body:
597 // if (oldValue == *theValue) {
598 // *theValue = newValue;
599 // return YES;
600 // }
601 // else return NO;
(closing brace accidentally omitted in the original comment as well)
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D60808/new/
https://reviews.llvm.org/D60808
More information about the cfe-commits
mailing list