[PATCH] D27854: [analyzer] Add check for mutex acquisition during interrupt context in Magenta kernel

NoQ added a comment. This checker looks good to me! I don't see any obvious problems, and i think we can land it into non-alpha (enabled by default) once reviewers' comments are addressed. Comment at: include/clang/StaticAnalyzer/Checkers/Checkers.td:78 +def Magenta : Packa

[PATCH] D27854: [analyzer] Add check for mutex acquisition during interrupt context in Magenta kernel

khazem created this revision. khazem added reviewers: dcoughlin, dergachev.a. khazem added subscribers: cfe-commits, phosek, seanklein. Herald added a subscriber: mgorny. Acquiring a mutex during the Magenta kernel exception handler can cause deadlocks and races. This patch adds a checker that en