Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

C++ SimpleRangeAnalysis: BigInt rewrite experiment #16863

Closed
wants to merge 4 commits into from
Closed

C++ SimpleRangeAnalysis: BigInt rewrite experiment #16863

wants to merge 4 commits into from

Commits on Jul 1, 2024

  1. SimpleRangeAnalysis lib/: float -> BigInt

    @d10c
    d10c committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    13a3d9a View commit details
    Browse the repository at this point in the history

  2. SimpleRangeAnalysis src/: float -> BigInt

    @d10c
    d10c committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    5c8a160 View commit details
    Browse the repository at this point in the history

  3. SimpleRangeAnalysis test/: float -> BigInt

    @d10c
    d10c committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    0cee614 View commit details
    Browse the repository at this point in the history

  4. Update upperBound.expected 

    The new numbers appear to be correct (i.e. actually 2^63-1 or 2^64-1), except for the line 479 which is still within 64-bit range, hence also presumably a bug, assuming we should be able to capture overflow accurately (i.e. not modulo 64-bits).
    @d10c
    d10c committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    dcfc21e View commit details
    Browse the repository at this point in the history