]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e30024c) | patch
[analyzer] Loc-Loc operations (subtraction or comparison) produce a NonLoc.
authorJordan Rose <jordan_rose@apple.com>
Sat, 23 Mar 2013 01:21:29 +0000 (01:21 +0000)
committerJordan Rose <jordan_rose@apple.com>
Sat, 23 Mar 2013 01:21:29 +0000 (01:21 +0000)
commita339cd66be6202c6e86916f52a347d0289bf2eea
treeab3a511a6556604903053ebc087ea813fa993b09tree | snapshot
parente30024c96f88578fb7666d6d76977e4834127919commit | diff
[analyzer] Loc-Loc operations (subtraction or comparison) produce a NonLoc.

For two concrete locations, we were producing another concrete location and
then casting it to an integer. We should just create a nonloc::ConcreteInt
to begin with.

No functionality change.

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