commit | b94b81a9ab46c99b00c7ad28c5e1e212c63fc9ac | [log] [tgz] |
---|---|---|
author | Zhongxing Xu <xuzhongxing@gmail.com> | Thu Dec 31 06:13:07 2009 +0000 |
committer | Zhongxing Xu <xuzhongxing@gmail.com> | Thu Dec 31 06:13:07 2009 +0000 |
tree | 7d097bccf50bcde7337f112b9255762a934757f0 | |
parent | bb092bafa984e9fa05136b5cef40fd4374dea0f6 [diff] |
Let constraint manager inform checkers that some assumption logic has happend. Add new states for symbolic regions tracked by malloc checker. This enables us to do malloc checking more accurately. See test case. Based on Lei Zhang's patch and discussion. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@92342 91177308-0d34-0410-b5e6-96231b3b80d8