[PATCH] D27854: [analyzer] Add check for mutex acquisition during interrupt context in Magenta kernel
Kareem Khazem via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Fri Dec 16 09:39:05 PST 2016
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 ensures that no mutexes are acquired during an interrupt context.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 9255 bytes
Desc: not available
More information about the cfe-commits