hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

C#: Add discarding for diagnostics and extractor messages.

Browse Source
This commit is contained in:
Michael Nebel
2025-10-28 13:44:10 +01:00
parent 8927b0a350
commit 04d33cbad7
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
csharp/ql/lib/semmle/code/csharp/Overlay.qll
View File

@@ -33,7 +33,7 @@ abstract private class DiscardableEntity extends @locatable {
* The rest use named TRAP IDs.
*/
overlay[local]
private class StarEntity = @expr or @stmt;
private class StarEntity = @expr or @stmt or @diagnostic or @extractor_message;
overlay[discard_entity]
private predicate discardStarEntity(@locatable e) {
@@ -98,7 +98,9 @@ private class PossibleDiscardableEntity extends DiscardableEntity instanceof @lo
param_location(this, loc) or
type_mention_location(this, loc) or
commentline_location(this, loc) or
commentblock_location(this, loc)
commentblock_location(this, loc) or
diagnostics(this, _, _, _, _, loc) or
extractor_messages(this, _, _, _, _, loc, _)
)
}
}