Skip to content
Open
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion go/ql/lib/semmle/go/DiagnosticsReporting.qll
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@ private class Diagnostic extends @diagnostic {
string getMessage() { diagnostics(this, _, _, result, _, _) }

/** Gets the file that this error is associated with, if any. */
File getFile() { result = this.getLocation().getFile() }
File getFile() { result = pragma[only_bind_into](this).getLocation().getFile() }
Comment thread
owen-mc marked this conversation as resolved.
Outdated

/** Gets the location for this error. */
Location getLocation() { diagnostics(this, _, _, _, _, result) }
Expand Down
Loading