Code

Exhaustive integer matching#50912

Code

Merged

bors merged 47 commits intorust-lang:masterrust-lang/rust:masterfrom

varkor:exhaustive-integer-matchingvarkor/rust:exhaustive-integer-matchingCopy head branch name to clipboard

Aug 22, 2018

Commits

Commits on Aug 16, 2018

• Implement interval checking

  varkor

  committed
  e3357d9

  Copy full SHA for e3357d9

• Give correct suggestions

  varkor

  committed
  b3d2baf

  Copy full SHA for b3d2baf

• Add support for all integer types

  varkor

  committed
  384db4f

  Copy full SHA for 384db4f

• Add feature gate and refactor

  varkor

  committed
  ed5a4d5

  Copy full SHA for ed5a4d5

• Add feature gate test

  varkor

  committed
  b8702a0

  Copy full SHA for b8702a0

• Fix handling of signed integers

  varkor

  committed
  121fa8d

  Copy full SHA for 121fa8d

• Add semi-exhaustive tests for exhaustiveness

  varkor

  committed
  7476ba4

  Copy full SHA for 7476ba4

• Improve macros with reduced repetition

  varkor

  committed
  9778a81

  Copy full SHA for 9778a81

• Require just the Unicode Scalar Values to be matched for a char

  varkor

  committed
  a20cb10

  Copy full SHA for a20cb10

• Fix range splitting

  varkor

  committed
  7f72030

  Copy full SHA for 7f72030

• Refactor interval conditions

  varkor

  committed
  c00fd8f

  Copy full SHA for c00fd8f

• Use bit operators for min_max_ty

  varkor

  committed
  7695bd0

  Copy full SHA for 7695bd0

• Fix integer overflow

  varkor

  committed
  a553fa7

  Copy full SHA for a553fa7

• Add singleton patterns to test

  varkor

  committed
  8389972

  Copy full SHA for 8389972

• Refactor to remove explicit integer type matching

  varkor

  committed
  f4af3b0

  Copy full SHA for f4af3b0

• Fix sign conversion arithmetic errors

  varkor

  committed
  a9f2c5a

  Copy full SHA for a9f2c5a

• Improve the comments

  varkor

  committed
  effb3d0

  Copy full SHA for effb3d0

• Special-case (RangeEnd::Included, Ordering::Equal) in lower_pattern_unadjusted

  varkor

  committed
  c388c11

  Copy full SHA for c388c11

• Simplify bitwise operations

  varkor

  committed
  97a032e

  Copy full SHA for 97a032e

• Fix print_miri_value for signed integers

  varkor

  committed
  be12b24

  Copy full SHA for be12b24

• Inline encode and decode methods

  varkor

  committed
  72cc4bd

  Copy full SHA for 72cc4bd

• Introduce signed_bias method

  Show description for 1aa7494
  varkor

  committed
  1aa7494

  Copy full SHA for 1aa7494

• Replace ... with ..= in suggestions

  Show description for 732d638
  varkor

  committed
  732d638

  Copy full SHA for 732d638

• Refactor after miri api changes

  varkor

  committed
  6c21a03

  Copy full SHA for 6c21a03

• Refactor for less allocation

  varkor

  committed
  d27c21c

  Copy full SHA for d27c21c

• No longer return value_constructors for all_constructors

  varkor

  committed
  07064de

  Copy full SHA for 07064de

• Add guarded arms to tests

  varkor

  committed
  25ba911

  Copy full SHA for 25ba911

• Refactor condition

  varkor

  committed
  af366b0

  Copy full SHA for af366b0

• Add some comments

  varkor

  committed
  bfc0807

  Copy full SHA for bfc0807

• Move witnesses inside push_wild_constructor

  varkor

  committed
  4aa929c

  Copy full SHA for 4aa929c

• Move logic from push_wild_constructor to apply_constructor

  varkor

  committed
  5959a35

  Copy full SHA for 5959a35

• Add a test for integer products

  varkor

  committed
  bfc8ce3

  Copy full SHA for bfc8ce3

• Some reformatting

  varkor

  committed
  99754ad

  Copy full SHA for 99754ad

• Add a summary of the algorithm to the file

  varkor

  committed
  400cb14

  Copy full SHA for 400cb14

• More formatting improvements

  varkor

  committed
  9e9e023

  Copy full SHA for 9e9e023

• Add some more compound exhaustiveness tests

  varkor

  committed
  527cccb

  Copy full SHA for 527cccb

• Add equivalence class splitting for range constructors

  varkor

  committed
  e9c8361

  Copy full SHA for e9c8361

• Handle equivalence classes of length-1 ranges

  varkor

  committed
  1dbc781

  Copy full SHA for 1dbc781

• Fix handling of floating-point ranges

  varkor

  committed
  0383539

  Copy full SHA for 0383539

Commits on Aug 19, 2018

• Tweak comments

  varkor

  committed
  798b9ff

  Copy full SHA for 798b9ff

Commits on Aug 20, 2018

• Improve some comments

  varkor

  committed
  87463c3

  Copy full SHA for 87463c3

• Remove pattern consideration from split_grouped_constructors

  varkor

  committed
  6e8a625

  Copy full SHA for 6e8a625

• Add assertion to constructor_intersects_pattern

  varkor

  committed
  c421af9

  Copy full SHA for c421af9

• Add more detail to the split_grouped_constructors comment

  varkor

  committed
  61b6363

  Copy full SHA for 61b6363

Commits on Aug 21, 2018

• Add a test case for u128::MAX - 1

  varkor

  committed
  6a957e1

  Copy full SHA for 6a957e1

• Use a boundary method instead of an endpoint method for split_grouped_constructors

  varkor

  committed
  dec5563

  Copy full SHA for dec5563

• Add some extra edge case tests

  varkor

  committed
  6971c5d

  Copy full SHA for 6971c5d