]> granicus.if.org Git - clang/commit
[analyzer] Add an abstraction for the bit width and signedness of an APSInt. No funct...
authorJordy Rose <jediknil@belkadan.com>
Tue, 8 May 2012 03:26:58 +0000 (03:26 +0000)
committerJordy Rose <jediknil@belkadan.com>
Tue, 8 May 2012 03:26:58 +0000 (03:26 +0000)
commitd3b6d99cd57522b15dcec0eb771a97d9599d4db2
tree97773b2c35cc6da65689bc37920a3a69d8e58181
parent4ccf0043c67cf6e103c44cd7629efb812daaa877
[analyzer] Add an abstraction for the bit width and signedness of an APSInt. No functionality change.

There are more parts of the analyzer that could use the convenience of APSIntType, particularly the constraint engine, but that needs a fair amount of rewriting to handle mixed-type constraints anyway.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@156360 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/APSIntType.h [new file with mode: 0644]
include/clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h
lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp