Commit563e084

Nikita Kraiouchkine

and

authored

EXP43-C: Replace!= withnot =

Co-authored-by: Luke Cartey <5377966+lcartey@users.noreply.github.com>

1 parent2dd045c commit563e084Copy full SHA for 563e084

File tree

-1

lines changed

-1

lines changed

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -113,7 +113,7 @@ where`
`113`	`113`	`notisExcluded(call, Pointers3Package::doNotPassAliasedPointerToRestrictQualifiedParamQuery())and`
`114`	`114`	`arg1=call.getARestrictPtrArg()and`
`115`	`115`	`arg2=call.getAPtrArg()and`
`116`		`-arg1!=arg2and`
	`116`	`+notarg1=arg2and`
`117`	`117`	`exists(PointerValueToRestrictArgConfigconfig,Exprsource1,Exprsource2\|`
`118`	`118`	`config.hasFlow(DataFlow::exprNode(source1), DataFlow::exprNode(arg1.getAChild*()))and`
`119`	`119`	`(`

Comments

(0)