Skip to content

Commit e51cb47

Browse files
committed
C++: Expose 'MemoryLocation0'.
1 parent 14ede4e commit e51cb47

File tree

2 files changed

+3
-1
lines changed

2 files changed

+3
-1
lines changed

cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasedSSA.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -235,7 +235,7 @@ private newtype TMemoryLocation =
235235
*
236236
* Some of these memory locations will be filtered out for performance reasons before being passed to SSA construction.
237237
*/
238-
abstract private class MemoryLocation0 extends TMemoryLocation {
238+
abstract class MemoryLocation0 extends TMemoryLocation {
239239
final string toString() {
240240
if this.isMayAccess()
241241
then result = "?" + this.toStringInternal()

cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SimpleSSA.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -73,6 +73,8 @@ class MemoryLocation extends TMemoryLocation {
7373
final predicate canReuseSsa() { canReuseSsaForVariable(var) }
7474
}
7575

76+
class MemoryLocation0 = MemoryLocation;
77+
7678
predicate canReuseSsaForOldResult(Instruction instr) { none() }
7779

7880
abstract class VariableGroup extends Unit {

0 commit comments

Comments
 (0)