Exactly what it says on the tin!
Details
Details
- Reviewers
NoQ xazax.hun baloghadamsoftware Charusso dcoughlin rnkovacs - Commits
- rG4a5df7312ec2: [analyzer] PR43551: Do not dereferce void* in UndefOrNullArgVisitor.
rL375329: [analyzer] PR43551: Do not dereferce void* in UndefOrNullArgVisitor.
rC375329: [analyzer] PR43551: Do not dereferce void* in UndefOrNullArgVisitor.
Diff Detail
Diff Detail
Event Timeline
Comment Actions
Thanks!!
clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp | ||
---|---|---|
2030–2033 | Aha, so you're basically propagating this FIXME instead of addressing it. When it was originally added, i vaguely recall that the pointer that we were trying to dereference did not really need to be tracked to begin with. I'm really curious if that's still the case in this example. | |
clang/test/Analysis/novoidtypecrash.c | ||
1 | So does the warning get actually emitted, or is it marked as invalid? Maybe it's worth it to add -verify (and maybe even -analyzer-output=text) and assess how good the report actually is. |
Comment Actions
I think it's worth it to commit the patch as-is, because the crash seems to be fairly popular.