commit | e64f311c11a8751867c2538807054f4817c1f5cb | [log] [tgz] |
---|---|---|
author | Jordy Rose <jediknil@belkadan.com> | Mon Aug 16 07:51:42 2010 +0000 |
committer | Jordy Rose <jediknil@belkadan.com> | Mon Aug 16 07:51:42 2010 +0000 |
tree | 5f2a4ec2ec8ac1162e8d479935de8479f87fc44d | |
parent | f231df318d8d937adb24f3db23c23c31ab378a82 [diff] |
Model the effects of strcpy() and stpcpy() in CStringChecker. Other changes: - Fix memcpy() and friends to actually invalidate the destination buffer. - Emit a different message for out-of-bounds buffer accesses if the buffer is being written to. - When conjuring symbols, let ValueManager figure out the type. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@111120 91177308-0d34-0410-b5e6-96231b3b80d8