[PATCH] D36022: [analyzer] Add handle misuse analysis to MagentaHandleChecker

[Haowei Wu via Phabricator via cfe-commits]

haowei updated this revision to Diff 109237.
haowei added a comment.

Add 1 line fix for the constraint on allocated handle in function allocateSingleHandle at line 647


https://reviews.llvm.org/D36022

Files:
  lib/StaticAnalyzer/Checkers/MagentaHandleChecker.cpp
  test/Analysis/mxhandle.c

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D36022.109237.patch
Type: text/x-patch
Size: 24918 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20170801/73ceeb1a/attachment-0001.bin>