]> granicus.if.org Git - clang/commit
[analyzer] MIGChecker: Add support for more APIs.
authorArtem Dergachev <artem.dergachev@gmail.com>
Fri, 22 Feb 2019 00:15:14 +0000 (00:15 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Fri, 22 Feb 2019 00:15:14 +0000 (00:15 +0000)
commit926013b6f9cdf86e9c7e3e2f594e57b87ad75d9e
tree33e392c722a7367f5b388250260b38fc989ff6c3
parentd7535ee5c9f202dbda1df2b8672dff9d9f5fade3
[analyzer] MIGChecker: Add support for more APIs.

Add more "consuming" functions. For now only vm_deallocate() was supported.

Add a non-zero value that isn't an error; this value is -305 ("MIG_NO_REPLY")
and it's fine to deallocate data when you are returning this error.

Make sure that the mig_server_routine annotation is inherited.

rdar://problem/35380337

Differential Revision: https://reviews.llvm.org/D58397

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@354643 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/MIGChecker.cpp
test/Analysis/mig.mm