mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
15 lines
486 B
Plaintext
15 lines
486 B
Plaintext
/**
|
|
* Test that fails to compile if the domain of `SourceNode::Range` depends on `SourceNode` (recursively).
|
|
*
|
|
* This tests adds a negative dependency `SourceNode --!--> SourceNode::Range`
|
|
* so that the undesired edge `SourceNode::Range --> SourceNode` completes a negative cycle.
|
|
*/
|
|
|
|
import javascript
|
|
|
|
class BadSourceNodeRange extends DataFlow::SourceNode::Internal::RecursionGuard {
|
|
BadSourceNodeRange() { not this instanceof DataFlow::SourceNode::Range }
|
|
}
|
|
|
|
select "Success"
|