]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2915e0f) | patch
[analyzer] Do not attempt to get the pointee of void*
authorAlexander Shaposhnikov <shal1t712@gmail.com>
Wed, 24 Jan 2018 22:17:30 +0000 (22:17 +0000)
committerAlexander Shaposhnikov <shal1t712@gmail.com>
Wed, 24 Jan 2018 22:17:30 +0000 (22:17 +0000)
commit738efbf68e94662f720b03712831aa2840a69761
tree41955cd04ea9a0738ceacea0d3ce11a5ca9d3e0etree | snapshot
parent2915e0fd9e88120c68706727ddfe68e9ba72d991commit | diff
[analyzer] Do not attempt to get the pointee of void*

Do not attempt to get the pointee of void* while generating a bug report
(otherwise it will trigger an assert inside RegionStoreManager::getBinding
assert(!T->isVoidType() && "Attempting to dereference a void pointer!")).

Test plan: make check-all

Differential revision: https://reviews.llvm.org/D42396

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@323382 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/PathDiagnostic.cpp diff | blob | history
test/Analysis/malloc.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.