Skip to content

Add forbid check. Fix two false positives.#9

Open
CharlesZ-Chen wants to merge 1 commit intomasterfrom
add-forbidCheck-fix-false-positives
Open

Add forbid check. Fix two false positives.#9
CharlesZ-Chen wants to merge 1 commit intomasterfrom
add-forbidCheck-fix-false-positives

Conversation

@CharlesZ-Chen
Copy link
Copy Markdown
Owner

Forbid below situations to make sure @UnsafeRead keep locally:

  • assign @UnsafeRead to an int field.
  • passing @UnsafeRead as an argument when invoking a method

Fix two false positives. Test added.

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.

1 participant