| commit | 8cc13ea74fea1c04042a2f4087665bc5182e8408 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Thu Feb 28 20:32:03 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Thu Feb 28 20:32:03 2008 +0000 |
| tree | 996f3f92d5bb864a909f3a75bd85979de9865ea0 | |
| parent | f9ce5b049e4d31b1ff45767bf7b813fba37f0305 [diff] |
Added checking for undefined results of '<<' and '>>' (shifting by too many bits, etc.) This current implementation only works when both operands are concrete values; later we will add support for symbolic values. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47726 91177308-0d34-0410-b5e6-96231b3b80d8