← Back to branch summary

~ubuntu-branches/debian/sid/frama-c/sid

« back to all changes in this revision

Viewing changes to src/ai/ival.ml

  • Committer: Bazaar Package Importer
  • Author(s): Mehdi Dogguy
  • Date: 2010-07-16 13:53:55 UTC
  • Revision ID: james.westby@ubuntu.com-20100716135355-vmv6l7ymdan0cypw
Tags: 20100401+boron+dfsg-4
* Add 0009-unrollType-in-handle_signed_overflow from upstream.
* Add 0010-More-spelling-fixes.patch
* Convert to 3.0 (quilt) source format.
* Bump standards version to 3.9.0.

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/ai/ival.ml
482
482
    then f1
483
483
    else inject b1 e2
484
484
 
485
 
  let filter_ge (I(b1, e1) as f1) (I(b2, e2)) =
486
 
    let b2 = if F.equal_ieee F.minus_zero e2 then F.minus_zero else b2 in
 
485
  let filter_ge (I(b1, e1) as f1) (I(b2, _e2)) =
 
486
    let b2 = if F.equal_ieee F.minus_zero b2 then F.minus_zero else b2 in
487
487
    if not (F.le b2 e1)
488
488
    then raise Bottom
489
489
    else if F.le b2 b1