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

[Kareem Khazem via cfe-commits]

khazem updated this revision to Diff 77005.
khazem added a comment.

Minor edit, the list of libraries in CMakeLists.txt is now in alphabetical order.


https://reviews.llvm.org/D26340

Files:
  include/clang/StaticAnalyzer/Checkers/Checkers.td
  lib/StaticAnalyzer/Checkers/CMakeLists.txt
  lib/StaticAnalyzer/Checkers/SpinLockChecker.cpp
  test/Analysis/spinlock_correct.c
  test/Analysis/spinlock_double_lock.c
  test/Analysis/spinlock_double_release.c

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D26340.77005.patch
Type: text/x-patch
Size: 10898 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20161107/9f4ba5a2/attachment.bin>