Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

patterns: reject raw pointers that are not just integers #116930

Merged
merged 5 commits into from
Nov 8, 2023

Commits on Oct 28, 2023

  1. Configuration menu
    Copy the full SHA
    bec88ad View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    af6c7e0 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    70a8e15 View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2023

  1. remove some dead code

    RalfJung committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    03b24f2 View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2023

  1. Configuration menu
    Copy the full SHA
    3058865 View commit details
    Browse the repository at this point in the history