commit | 1f4a0e82dee28dd41124bc3a5c2fb317f7f06a86 | [log] [tgz] |
---|---|---|
author | John Criswell <criswell@uiuc.edu> | Thu Nov 12 16:11:16 2009 +0000 |
committer | John Criswell <criswell@uiuc.edu> | Thu Nov 12 16:11:16 2009 +0000 |
tree | 295bcb448e397e385533dd80983c6eb913241408 | |
parent | 2d6a68d58bc97857ca9689b570238deef046588f [diff] |
Modified code to always add certain files to the MetaPool descriptor. Accept information directly from DSA indicating that a node may need a run-time check even though it is type-safe. This handles the case where memory objects of different types are allocated from the same kmem_cache_t and can only alias via dangling pointers. Turned on incomplete checks by default. llvm-svn: 88653