Skip to content

Conversation

@tob-joe
Copy link

@tob-joe tob-joe commented Dec 30, 2022

This includes:

  • An updated constant-propagation implementation that adds support for tracking uncertainty about the exact value (e.g. Boolean(None), which is definitely boolean but doesn't have a known exact value)
  • A new analysis that finds conditionals that expect boolean values but are being passed not-definitely-boolean values
  • The flake.nix that pulls in rust 1.65.0 for development

Things are a little sloppy and I have not tested the new features properly so I'm leaving it as a draft for now.

@CLAassistant
Copy link

CLAassistant commented Dec 30, 2022

CLA assistant check
All committers have signed the CLA.

@tob-joe tob-joe requested a review from fegge December 30, 2022 03:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants