hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-01-29 22:32:58 +01:00
Code Issues Packages Projects Releases Wiki Activity

Move type assertion into declared type

Browse Source
This commit is contained in:
Owen Mansel-Chan
2021-12-03 06:20:09 -05:00
parent 9f763dd044
commit adf3dc0c61
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
ql/lib/semmle/go/dataflow/internal/DataFlowPrivate.qll
View File

@@ -297,11 +297,11 @@ private class ConstantBooleanArgumentNode extends ArgumentNode, ExprNode {
*/
pragma[noinline]
private ControlFlow::ConditionGuardNode getAFalsifiedGuard(DataFlowCall call) {
exists(ParameterNode param, ConstantBooleanArgumentNode arg |
exists(SsaParameterNode param, ConstantBooleanArgumentNode arg |
// get constant bool argument and parameter for this call
viableParamArg(call, param, arg) and
// which is used in a guard controlling `n` with the opposite value of `arg`
result.ensures(param.(SsaParameterNode).getAUse(), arg.getBooleanValue().booleanNot())
result.ensures(param.getAUse(), arg.getBooleanValue().booleanNot())
)
}