mirror of
https://github.com/github/codeql.git
synced 2026-06-17 19:01:09 +02:00
15 lines
357 B
Plaintext
15 lines
357 B
Plaintext
/**
|
|
* @name Refinement node without inputs
|
|
* @description Every SSA refinement node should have exactly one input.
|
|
* @kind problem
|
|
* @problem.severity error
|
|
* @id js/consistency/dead-refinement-node
|
|
* @tags consistency
|
|
*/
|
|
|
|
import javascript
|
|
|
|
from SsaRefinementNode ref
|
|
where not exists(ref.getAnInput())
|
|
select ref, "Refinement node without inputs."
|