mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
18 lines
528 B
Plaintext
18 lines
528 B
Plaintext
/**
|
|
* @name Assignment to parameter has no effect
|
|
* @description An assignment to a parameter that is not subsequently read may
|
|
* indicate a logic error.
|
|
* @kind problem
|
|
* @problem.severity warning
|
|
*/
|
|
|
|
import cpp
|
|
|
|
from Parameter p, Assignment assign
|
|
where assign = p.getAnAssignment()
|
|
and not assign.getASuccessor+() = p.getAnAccess()
|
|
and not p.getType() instanceof ReferenceType
|
|
select assign, "Assignment of '"+ assign.getRValue() +
|
|
"' to parameter '$@' has no effect.",
|
|
p, p.getName()
|