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

[Kareem Khazem via cfe-commits]

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

If a double-lock or double-release is detected, path notes are now emitted on the _first_ lock or release event. Also updated the tests to check for these notes.


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.77277.patch
Type: text/x-patch
Size: 14093 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20161108/f2f9c61c/attachment.bin>