diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-02-25 22:32:02 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-02-25 22:32:02 +0000 |
| commit | dc3f50fbd95317f96d9ce0084b19bd331e3f8560 (patch) | |
| tree | 92141477d7dc81bcfa38662278451f2e5cb1fb32 /clang/lib/Parse/ParseTemplate.cpp | |
| parent | 1e249f86413143a681ead49d14bacb4f0f83a4cb (diff) | |
| download | bcm5719-llvm-dc3f50fbd95317f96d9ce0084b19bd331e3f8560.tar.gz bcm5719-llvm-dc3f50fbd95317f96d9ce0084b19bd331e3f8560.zip | |
Add experimental logic in GRExprEngine::EvalEagerlyAssume() to handle
expressions of the form: 'short x = (y != 10);' While we handle 'int x = (y !=
10)' lazily, the cast to another integer type currently loses the symbolic
constraint. Eager evaluation of the constraint causes the paths to bifurcate and
eagerly evaluate 'y != 10' to a constant of 1 or 0. This should address
<rdar://problem/6619921> until we have a better (more lazy approach) for
handling promotions/truncations of symbolic integer values.
llvm-svn: 65480
Diffstat (limited to 'clang/lib/Parse/ParseTemplate.cpp')
0 files changed, 0 insertions, 0 deletions
