llvm with tablegen backend for capstone disassembler
Go to file
Jordy Rose 674bd55f02 Add a new symbol type, SymbolExtent, to represent the extents of memory regions that may not be known at compile-time (such as those created by malloc). This replaces the old setExtent/getExtent API on Store, which used the GRState's GDM to store SVals.
Also adds a getKnownValue() method to SValuator, which gets the integer value of an SVal if it is known to only have one possible value. There are more places in the code that could be using this, but in general we want to be dealing entirely in SVals, so its usefulness is limited.

The only visible functionality change is that extents are now honored for any DeclRegion, such as fields and Objective-C ivars, rather than just variables. This shows up in bounds-checking and cast-size-checking.

llvm-svn: 107577
2010-07-04 00:00:41 +00:00
clang Add a new symbol type, SymbolExtent, to represent the extents of memory regions that may not be known at compile-time (such as those created by malloc). This replaces the old setExtent/getExtent API on Store, which used the GRState's GDM to store SVals. 2010-07-04 00:00:41 +00:00
compiler-rt Further cleanup of ARM bswap implementations, thanks to John Tytgat 2010-07-03 21:47:50 +00:00
libcxx Updated chart with weekly test results 2010-07-01 21:39:12 +00:00
lldb Make it fail fast if 'mydir' attribute is not overridden by subclasses of 2010-07-03 20:41:42 +00:00
llvm Minor amendment to switch-lowering improvement. 2010-07-03 08:43:32 +00:00