projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d7e549) | patch
[analyzer] Fix logical not for pointers with different bit width
authorDaniel Marjamaki <daniel.marjamaki@evidente.se>
Mon, 19 Jun 2017 08:55:51 +0000 (08:55 +0000)
committerDaniel Marjamaki <daniel.marjamaki@evidente.se>
Mon, 19 Jun 2017 08:55:51 +0000 (08:55 +0000)
commit66bdcfb16d66c5de79d1e06cb163670a3464adce
treeb56c666d6fbbe122feb433149594b56345a461aetree | snapshot
parent2d7e549a3c69b2f8d269137c13f142fc8ebdbfeecommit | diff
[analyzer] Fix logical not for pointers with different bit width

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@305669 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h diff | blob | history
include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h diff | blob | history
lib/StaticAnalyzer/Core/ExprEngineC.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.