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

Dataflow: Fixup some qldoc.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2025-01-31 15:13:12 +01:00
parent db1ed67e52
commit da34c0b3ac
2 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll
View File

@@ -169,7 +169,8 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
} }
/** /**
* Constructs a data flow computation given a full input configuration. * Constructs a data flow computation given a full input configuration, and
* an initial stage 1 pruning.
*/ */
module Impl<FullStateConfigSig Config, Stage1Output<Config::FlowState> Stage1> { module Impl<FullStateConfigSig Config, Stage1Output<Config::FlowState> Stage1> {
private class FlowState = Config::FlowState; private class FlowState = Config::FlowState;

2
shared/dataflow/codeql/dataflow/internal/DataFlowImplStage1.qll
View File

@@ -460,7 +460,6 @@ module MakeImplStage1<LocationSig Location, InputSig<Location> Lang> {
private class Cc = boolean; private class Cc = boolean;
/* Begin: Stage 1 logic. */
/** /**
* Holds if `node` is reachable from a source. * Holds if `node` is reachable from a source.
* *
@@ -954,7 +953,6 @@ module MakeImplStage1<LocationSig Location, InputSig<Location> Lang> {
callEdgeReturn(call, c, _, _, _, _) callEdgeReturn(call, c, _, _, _, _)
) )
} }
/* End: Stage 1 logic. */
} }
private module Stage1Common { private module Stage1Common {