Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit d529fed

Browse files
author
Robert Marsh
committed
C++: accept extractor changes to IR
1 parent 59a81d8 commit d529fed

2 files changed

Lines changed: 10 additions & 10 deletions

File tree

‎cpp/ql/test/library-tests/ir/ir/raw_ir.expected‎

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -6330,12 +6330,12 @@ ir.cpp:
63306330
#-----| Goto -> Block 5
63316331

63326332
# 1235| Block 5
6333-
# 1235| v1235_1(void) = NoOp :
6334-
# 1231| v1231_9(void) = ReturnIndirection : &:r1231_7, ~mu1231_4
6335-
# 1231| v1231_10(void) = ReturnVoid :
6336-
# 1231| v1231_11(void) = UnmodeledUse : mu*
6337-
# 1231| v1231_12(void) = AliasedUse : ~mu1231_4
6338-
# 1231| v1231_13(void) = ExitFunction :
6333+
# 1235| v1235_1(void) = NoOp :
6334+
# 1231| v1231_9(void) = ReturnIndirection[dynamic] : &:r1231_7, ~mu1231_4
6335+
# 1231| v1231_10(void) = ReturnVoid :
6336+
# 1231| v1231_11(void) = UnmodeledUse : mu*
6337+
# 1231| v1231_12(void) = AliasedUse : ~mu1231_4
6338+
# 1231| v1231_13(void) = ExitFunction :
63396339

63406340
# 1232| Block 6
63416341
# 1232| r1232_4(glval<String>) = VariableAddress[a] :
@@ -6408,7 +6408,7 @@ struct_init.cpp:
64086408
# 17| r17_3(glval<Info *>) = VariableAddress[global_pointer] :
64096409
# 17| mu17_4(Info *) = Store : &:r17_3, r17_2
64106410
# 18| v18_1(void) = NoOp :
6411-
# 16| v16_9(void) = ReturnIndirection : &:r16_7, ~mu16_4
6411+
# 16| v16_9(void) = ReturnIndirection[info] : &:r16_7, ~mu16_4
64126412
# 16| v16_10(void) = ReturnVoid :
64136413
# 16| v16_11(void) = UnmodeledUse : mu*
64146414
# 16| v16_12(void) = AliasedUse : ~mu16_4
@@ -6498,7 +6498,7 @@ struct_init.cpp:
64986498
# 41| v41_6(void) = ^BufferReadSideEffect[0] : &:r41_3, ~mu36_4
64996499
# 41| mu41_7(unknown) = ^BufferMayWriteSideEffect[0] : &:r41_3
65006500
# 42| v42_1(void) = NoOp :
6501-
# 36| v36_9(void) = ReturnIndirection : &:r36_7, ~mu36_4
6501+
# 36| v36_9(void) = ReturnIndirection[name1] : &:r36_7, ~mu36_4
65026502
# 36| v36_10(void) = ReturnVoid :
65036503
# 36| v36_11(void) = UnmodeledUse : mu*
65046504
# 36| v36_12(void) = AliasedUse : ~mu36_4

‎cpp/ql/test/library-tests/ir/ssa/aliased_ssa_ir_unsound.expected‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1301,7 +1301,7 @@ ssa.cpp:
13011301
# 277| m277_8(unknown) = Chi : total:m276_4, partial:m277_7
13021302
# 277| v277_9(void) = ^BufferReadSideEffect[1] : &:r277_5, ~m276_11
13031303
# 277| m277_10(unknown) = ^BufferMayWriteSideEffect[1] : &:r277_5
1304-
# 277| m277_11(char *) = Chi : total:m276_11, partial:m277_10
1304+
# 277| m277_11(unknown) = Chi : total:m276_11, partial:m277_10
13051305
# 278| r278_1(glval<unknown>) = FunctionAddress[unknownFunction] :
13061306
# 278| r278_2(glval<int>) = VariableAddress[argc] :
13071307
# 278| r278_3(int) = Load : &:r278_2, m276_7
@@ -1312,7 +1312,7 @@ ssa.cpp:
13121312
# 278| m278_8(unknown) = Chi : total:m277_8, partial:m278_7
13131313
# 278| v278_9(void) = ^BufferReadSideEffect[1] : &:r278_5, ~m277_11
13141314
# 278| m278_10(unknown) = ^BufferMayWriteSideEffect[1] : &:r278_5
1315-
# 278| m278_11(char *) = Chi : total:m277_11, partial:m278_10
1315+
# 278| m278_11(unknown) = Chi : total:m277_11, partial:m278_10
13161316
# 279| r279_1(glval<int>) = VariableAddress[#return] :
13171317
# 279| r279_2(glval<char **>) = VariableAddress[argv] :
13181318
# 279| r279_3(char **) = Load : &:r279_2, m276_9

0 commit comments

Comments
 (0)