diff options
| author |  Valentin Wüstholz <wuestholz@gmail.com> | 2015-11-17 14:03:06 -0600 |
|---|---|---|
| committer | Valentin Wüstholz <wuestholz@gmail.com> | 2015-11-17 14:03:06 -0600 |
| commit | e25dac8edab3e3f23db7c83b393ed388840d239f (patch) | |
| tree | a03f403d9c2e2f4af62f786836f4a892665c5fe0 /Source | |
| parent | 67a0a458aad9ece669a49cca085b695a56003d0e (diff) | |
Fix issue #25.
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/AbsInt/IntervalDomain.cs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Source/AbsInt/IntervalDomain.cs b/Source/AbsInt/IntervalDomain.cs index 0d2676f2..ee9d632b 100644 --- a/Source/AbsInt/IntervalDomain.cs +++ b/Source/AbsInt/IntervalDomain.cs @@ -698,9 +698,13 @@ namespace Microsoft.Boogie.AbstractInterpretation lo = Lo; hi = Hi; if (hi != null) { Lo = node.Type.IsReal ? -hi : 1 - hi; + } else { + Lo = null; } if (lo != null) { Hi = node.Type.IsReal ? -lo : 1 - lo; + } else { + Hi = null; } } else if (op.Op == UnaryOperator.Opcode.Not) { |