Skip to content

Conversation

@AtomCrafty
Copy link
Contributor

@AtomCrafty AtomCrafty commented Jun 21, 2023

  • Suppresses com.minres.coredsl.NonScalarCondition for error types
  • Suppresses com.minres.coredsl.InvalidCast for signedness casts on error types
  • Allows assignments where the target has an integer type and the right hand side is a constant expression whose value fits in said type (effectively closes Relax assignment rules for constant RHS #75)

Please let me know if you come across more of these instances where errors are reported in instruction sets (aka. during partial analysis) due to type information not being fully available.

@AtomCrafty AtomCrafty changed the base branch from master to develop June 21, 2023 13:05
@eyck eyck merged commit 7502439 into Minres:develop Jun 21, 2023
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.

2 participants