File tree Expand file tree Collapse file tree 1 file changed +1
-29
lines changed
cpp/ql/test/library-tests/ir/points_to Expand file tree Collapse file tree 1 file changed +1
-29
lines changed Original file line number Diff line number Diff line change @@ -38,32 +38,4 @@ module Raw {
3838 }
3939}
4040
41- module UnaliasedSsa {
42- private import semmle.code.cpp.ir.implementation.unaliased_ssa.IR
43- private import semmle.code.cpp.ir.implementation.aliased_ssa.internal.AliasedSSA
44-
45- private MemoryLocation getAMemoryAccess ( Instruction instr ) {
46- result = getResultMemoryLocation ( instr ) or
47- result = getOperandMemoryLocation ( instr .getAnOperand ( ) )
48- }
49-
50- module UnaliasedSsaPointsToTest implements TestSig {
51- string getARelevantTag ( ) { result = "ussa" }
52-
53- predicate hasActualResult ( Location location , string element , string tag , string value ) {
54- exists ( Instruction instr , MemoryLocation memLocation |
55- memLocation = getAMemoryAccess ( instr ) and
56- not memLocation .getVirtualVariable ( ) instanceof AliasedVirtualVariable and
57- not memLocation instanceof AllNonLocalMemory and
58- tag = "ussa" and
59- not ignoreAllocation ( memLocation .getAnAllocation ( ) .getAllocationString ( ) ) and
60- value = memLocation .toString ( ) and
61- element = instr .toString ( ) and
62- location = instr .getLocation ( ) and
63- not ignoreFile ( location .getFile ( ) )
64- )
65- }
66- }
67- }
68-
69- import MakeTest< MergeTests< Raw:: RawPointsToTest , UnaliasedSsa:: UnaliasedSsaPointsToTest > >
41+ import MakeTest< Raw:: RawPointsToTest >
You can’t perform that action at this time.
0 commit comments