C++: Add SSA sanity tests to IR tests

This commit is contained in:
Dave Bartolomeo
2019-08-14 13:59:41 -07:00
committed by Dave Bartolomeo
parent bd78f68975
commit eda47bfc51
4 changed files with 2 additions and 0 deletions

View File

@@ -0,0 +1 @@
semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSASanity.ql

View File

@@ -0,0 +1 @@
semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSASanity.ql