hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-21 11:16:30 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: accept extractor changes to IR

Browse Source
This commit is contained in:
Robert Marsh
2020-03-20 11:00:54 -07:00
parent 59a81d8445
commit d529fedbad
2 changed files with 10 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
cpp/ql/test/library-tests/ir/ir/raw_ir.expected
View File

@@ -6330,12 +6330,12 @@ ir.cpp:
#-----| Goto -> Block 5
# 1235| Block 5
# 1235| v1235_1(void) = NoOp :
# 1231| v1231_9(void) = ReturnIndirection : &:r1231_7, ~mu1231_4
# 1231| v1231_10(void) = ReturnVoid :
# 1231| v1231_11(void) = UnmodeledUse : mu*
# 1231| v1231_12(void) = AliasedUse : ~mu1231_4
# 1231| v1231_13(void) = ExitFunction :
# 1235| v1235_1(void) = NoOp :
# 1231| v1231_9(void) = ReturnIndirection[dynamic] : &:r1231_7, ~mu1231_4
# 1231| v1231_10(void) = ReturnVoid :
# 1231| v1231_11(void) = UnmodeledUse : mu*
# 1231| v1231_12(void) = AliasedUse : ~mu1231_4
# 1231| v1231_13(void) = ExitFunction :
# 1232| Block 6
# 1232| r1232_4(glval<String>) = VariableAddress[a] :
@@ -6408,7 +6408,7 @@ struct_init.cpp:
# 17| r17_3(glval<Info *>) = VariableAddress[global_pointer] :
# 17| mu17_4(Info *) = Store : &:r17_3, r17_2
# 18| v18_1(void) = NoOp :
# 16| v16_9(void) = ReturnIndirection : &:r16_7, ~mu16_4
# 16| v16_9(void) = ReturnIndirection[info] : &:r16_7, ~mu16_4
# 16| v16_10(void) = ReturnVoid :
# 16| v16_11(void) = UnmodeledUse : mu*
# 16| v16_12(void) = AliasedUse : ~mu16_4
@@ -6498,7 +6498,7 @@ struct_init.cpp:
# 41| v41_6(void) = ^BufferReadSideEffect[0] : &:r41_3, ~mu36_4
# 41| mu41_7(unknown) = ^BufferMayWriteSideEffect[0] : &:r41_3
# 42| v42_1(void) = NoOp :
# 36| v36_9(void) = ReturnIndirection : &:r36_7, ~mu36_4
# 36| v36_9(void) = ReturnIndirection[name1] : &:r36_7, ~mu36_4
# 36| v36_10(void) = ReturnVoid :
# 36| v36_11(void) = UnmodeledUse : mu*
# 36| v36_12(void) = AliasedUse : ~mu36_4

4
cpp/ql/test/library-tests/ir/ssa/aliased_ssa_ir_unsound.expected
View File

@@ -1301,7 +1301,7 @@ ssa.cpp:
# 277| m277_8(unknown) = Chi : total:m276_4, partial:m277_7
# 277| v277_9(void) = ^BufferReadSideEffect[1] : &:r277_5, ~m276_11
# 277| m277_10(unknown) = ^BufferMayWriteSideEffect[1] : &:r277_5
# 277| m277_11(char *) = Chi : total:m276_11, partial:m277_10
# 277| m277_11(unknown) = Chi : total:m276_11, partial:m277_10
# 278| r278_1(glval<unknown>) = FunctionAddress[unknownFunction] :
# 278| r278_2(glval<int>) = VariableAddress[argc] :
# 278| r278_3(int) = Load : &:r278_2, m276_7
@@ -1312,7 +1312,7 @@ ssa.cpp:
# 278| m278_8(unknown) = Chi : total:m277_8, partial:m278_7
# 278| v278_9(void) = ^BufferReadSideEffect[1] : &:r278_5, ~m277_11
# 278| m278_10(unknown) = ^BufferMayWriteSideEffect[1] : &:r278_5
# 278| m278_11(char *) = Chi : total:m277_11, partial:m278_10
# 278| m278_11(unknown) = Chi : total:m277_11, partial:m278_10
# 279| r279_1(glval<int>) = VariableAddress[#return] :
# 279| r279_2(glval<char **>) = VariableAddress[argv] :
# 279| r279_3(char **) = Load : &:r279_2, m276_9