[PATCH] D26340: [analyzer] Add SpinLockChecker for the Magenta kernel

Kareem Khazem via cfe-commits cfe-commits at lists.llvm.org
Tue Nov 8 15:19:45 PST 2016


khazem added a comment.

Good to meet you too, thanks for the useful comments and pointers to helpful examples! I'm going to update the diff twice: the first one to address your first two comments, and the second one to address your last two.


https://reviews.llvm.org/D26340





More information about the cfe-commits mailing list