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

Shared: Delete hallucinated return values.

Browse Source
This commit is contained in:
Geoffrey White
2024-02-21 17:22:03 +00:00
parent 5e401abccb
commit d1c0294551
2 changed files with 0 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
shared/dataflow/codeql/dataflow/DataFlow.qll
View File

@@ -148,7 +148,6 @@ signature module InputSig {
* Predicate to force high precision for the given content.
*
* @param c The content to force high precision for.
* @return True if high precision is forced for the content, false otherwise.
*/
predicate forceHighPrecision(Content c);
@@ -196,7 +195,6 @@ signature module InputSig {
*
* @param ppos The parameter position.
* @param apos The argument position.
* @return True if the parameter position matches the argument position, false otherwise.
*/
predicate parameterMatch(ParameterPosition ppos, ArgumentPosition apos);
@@ -205,7 +203,6 @@ signature module InputSig {
*
* @param node1 The first node in the flow step.
* @param node2 The second node in the flow step.
* @return True if there is a simple local flow step between node1 and node2, false otherwise.
*/
predicate simpleLocalFlowStep(Node node1, Node node2);

3
shared/rangeanalysis/codeql/rangeanalysis/RangeAnalysis.qll
View File

@@ -183,7 +183,6 @@ signature module Semantic {
* Checks if the guard directly controls a given basic block.
* @param controlled The basic block to check.
* @param branch Indicates if the control is a branch or not.
* @returns True if the guard directly controls the basic block, false otherwise.
*/
predicate directlyControls(BasicBlock controlled, boolean branch);
@@ -192,7 +191,6 @@ signature module Semantic {
* @param e1 The first expression.
* @param e2 The second expression.
* @param polarity The polarity of the equality.
* @returns True if the guard represents the equality, false otherwise.
*/
predicate isEquality(Expr e1, Expr e2, boolean polarity);
@@ -201,7 +199,6 @@ signature module Semantic {
* @param bb1 The first basic block.
* @param bb2 The second basic block.
* @param branch Indicates if the edge is a branch or not.
* @returns True if there is a branch edge between the basic blocks, false otherwise.
*/
predicate hasBranchEdge(BasicBlock bb1, BasicBlock bb2, boolean branch);
}