Code

A bunch of little analysis cleanups#830

Code

Merged

bors-servo merged 11 commits intorust-lang:masterrust-lang/rust-bindgen:masterfrom

fitzgen:little-analysis-cleanupsfitzgen/rust-bindgen:little-analysis-cleanupsCopy head branch name to clipboard

Jul 20, 2017

Commits

Commits on Jul 20, 2017

• Rearrange monotone framework and used templates analysis comments

  Show description for dc73bc6
  fitzgen

  committed
  dc73bc6

  Copy full SHA for dc73bc6

• Move fix-point analyses to their own module

  fitzgen

  committed
  003cfe6

  Copy full SHA for 003cfe6

• Use "cannot" instead of "can't" in names

  Show description for 60ea28e
  fitzgen

  committed
  60ea28e

  Copy full SHA for 60ea28e

• Rename `CannotDeriveDebugAnalysis` to `CannotDeriveDebug`

  Show description for 497f028
  fitzgen

  committed
  497f028

  Copy full SHA for 497f028

• Fix variable name to reflect its semantics

  Show description for 291f623
  fitzgen

  committed
  291f623

  Copy full SHA for 291f623

• Only traverse the IR graph to compute whitelisted items once

  Show description for 2960d86
  fitzgen

  committed
  2960d86

  Copy full SHA for 2960d86

• Also assert against dangling references after resolving typerefs and processing replacements

  Show description for 3662f14
  fitzgen

  committed
  3662f14

  Copy full SHA for 3662f14

• Use object literal short hand for `CannotDeriveDebug`

  fitzgen

  committed
  7ff8306

  Copy full SHA for 7ff8306

• Capitalize, punctuate, and format a comment

  fitzgen

  committed
  de71f9c

  Copy full SHA for de71f9c

• Define a type for communicating that the constraint function hasn't reached a fixed point

  Show description for 79a03e4
  fitzgen

  committed
  79a03e4

  Copy full SHA for 79a03e4

• The `CannotDeriveDebug` analysis shouldn't special case blacklisting

  Show description for faebc0c
  fitzgen

  committed
  faebc0c

  Copy full SHA for faebc0c