mirror of
https://github.com/github/codeql.git
synced 2025-12-19 18:33:16 +01:00
9 lines
259 B
Plaintext
9 lines
259 B
Plaintext
import cpp
|
|
import semmle.code.cpp.valuenumbering.HashCons
|
|
|
|
// Every expression should have exactly one HC.
|
|
// So this query should have zero results.
|
|
from Expr e
|
|
where count(hashCons(e)) != 1
|
|
select e, concat(HashCons h | h = hashCons(e) | h.getKind(), ", ")
|