]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 11b3a95) | patch
If the UnaryOperator has non-location type, use its type to create the
authorZhongxing Xu <xuzhongxing@gmail.com>
Wed, 5 Aug 2009 02:51:59 +0000 (02:51 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Wed, 5 Aug 2009 02:51:59 +0000 (02:51 +0000)
commita52ad4e1f423bed2e9e0dcb12661268091d20a54
treede313e0dec81f4c759eb1bf1edc1adf85e8f372ctree | snapshot
parent11b3a95d1698c033691fce6cd444201668ba3e0acommit | diff
If the UnaryOperator has non-location type, use its type to create the
constant value. If the UnaryOperator has location type, create the
constant with int type and pointer width.

This fixes the bug that all pointer increments 'p++' evaluated to Unknown.

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