Commit a8b3bcb

committed

C++: Indirection for value numbering

1 parent 3a7845e commit a8b3bcbCopy full SHA for a8b3bcb

2 files changed

+609

-608

lines changed

cpp/ql/src/semmle/code/cpp/valuenumbering
- GlobalValueNumbering.qll
- GlobalValueNumberingImpl.qll

2 files changed

+609

-608

lines changed

Comments

(0)