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.

Sign up for GitHub

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

Jump to bottom

Update the nullability analysis in this repo (part of PointsToAnalysis) to understand C# 8 nullable annotations #2877

Open
mavasani opened this issue Sep 30, 2019 · 3 comments
Open

Update the nullability analysis in this repo (part of PointsToAnalysis) to understand C# 8 nullable annotations #2877

mavasani opened this issue Sep 30, 2019 · 3 comments
Labels
DataFlow Feature Request help wanted The issue is up-for-grabs, and can be claimed by commenting
Milestone
Unknown

Comments

@mavasani
Copy link
Contributor

No description provided.

@mavasani mavasani added this to the Unknown milestone Sep 30, 2019
@mavasani mavasani mentioned this issue Sep 30, 2019
Closed
@SeanFeldman SeanFeldman mentioned this issue Nov 11, 2019
Merged
@AceHack
Copy link

AceHack commented Jun 4, 2020

CS0165 also does not respect [DoesNotReturn] attribute and you get false positives

@abubakrtaha2010
Copy link

any updates?

@sharwell
Copy link
Member

sharwell commented May 5, 2021

@AceHack CS0165 is a compiler error. It is required by the rules of the C# language to ignore [DoesNotReturn], and since it is an error it cannot be suppressed. If you wanted a change to the behavior of that error, it would need to start in dotnet/csharplang, e.g. dotnet/csharplang#2555 or dotnet/csharplang#538.

@mavasani mavasani added the help wanted The issue is up-for-grabs, and can be claimed by commenting label Jul 12, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
DataFlow Feature Request help wanted The issue is up-for-grabs, and can be claimed by commenting
Projects
None yet
Milestone
Unknown
Development

No branches or pull requests
4 participants
@AceHack @sharwell @mavasani @abubakrtaha2010