hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 10:45:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: add test for Alias and SideEffect models

Browse Source
This commit is contained in:
Robert Marsh
2019-07-08 11:41:46 -07:00
parent ba4812c4ed
commit ea7602b571
3 changed files with 91 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

42
cpp/ql/test/library-tests/ir/ssa/aliased_ssa_ir.expected
View File

@@ -758,3 +758,45 @@ ssa.cpp:
# 184| v0_22(void) = ReturnVoid :
# 184| v0_23(void) = UnmodeledUse : mu*
# 184| v0_24(void) = ExitFunction :
# 197| int PureFunctions(char*, char*, int)
# 197| Block 0
# 197| v0_0(void) = EnterFunction :
# 197| m0_1(unknown) = AliasedDefinition :
# 197| mu0_2(unknown) = UnmodeledDefinition :
# 197| r0_3(glval<char *>) = VariableAddress[str1] :
# 197| m0_4(char *) = InitializeParameter[str1] : &:r0_3
# 197| r0_5(glval<char *>) = VariableAddress[str2] :
# 197| m0_6(char *) = InitializeParameter[str2] : &:r0_5
# 197| r0_7(glval<int>) = VariableAddress[x] :
# 197| m0_8(int) = InitializeParameter[x] : &:r0_7
# 198| r0_9(glval<int>) = VariableAddress[ret] :
# 198| r0_10(glval<unknown>) = FunctionAddress[strcmp] :
# 198| r0_11(glval<char *>) = VariableAddress[str1] :
# 198| r0_12(char *) = Load : &:r0_11, m0_4
# 198| r0_13(char *) = Convert : r0_12
# 198| r0_14(glval<char *>) = VariableAddress[str2] :
# 198| r0_15(char *) = Load : &:r0_14, m0_6
# 198| r0_16(char *) = Convert : r0_15
# 198| r0_17(int) = Call : func:r0_10, 0:r0_13, 1:r0_16
# 198| m0_18(unknown) = ^CallSideEffect : ~m0_1
# 198| m0_19(unknown) = Chi : total:m0_1, partial:m0_18
# 198| m0_20(int) = Store : &:r0_9, r0_17
# 199| r0_21(glval<unknown>) = FunctionAddress[abs] :
# 199| r0_22(glval<int>) = VariableAddress[x] :
# 199| r0_23(int) = Load : &:r0_22, m0_8
# 199| r0_24(int) = Call : func:r0_21, 0:r0_23
# 199| m0_25(unknown) = ^CallSideEffect : ~m0_19
# 199| m0_26(unknown) = Chi : total:m0_19, partial:m0_25
# 199| r0_27(glval<int>) = VariableAddress[ret] :
# 199| r0_28(int) = Load : &:r0_27, m0_20
# 199| r0_29(int) = Add : r0_28, r0_24
# 199| m0_30(int) = Store : &:r0_27, r0_29
# 200| r0_31(glval<int>) = VariableAddress[#return] :
# 200| r0_32(glval<int>) = VariableAddress[ret] :
# 200| r0_33(int) = Load : &:r0_32, m0_30
# 200| m0_34(int) = Store : &:r0_31, r0_33
# 197| r0_35(glval<int>) = VariableAddress[#return] :
# 197| v0_36(void) = ReturnValue : &:r0_35, m0_34
# 197| v0_37(void) = UnmodeledUse : mu*
# 197| v0_38(void) = ExitFunction :

9
cpp/ql/test/library-tests/ir/ssa/ssa.cpp
View File

@@ -189,4 +189,13 @@ static void AsmStmtWithOutputs(unsigned int& a, unsigned int& b, unsigned int& c
: "+a" (a), "+b" (b)
: "c" (c), "d" (d)
);
}
int strcmp(const char *, const char *);
int abs(int);
int PureFunctions(char *str1, char *str2, int x) {
int ret = strcmp(str1, str2);
ret += abs(x);
return ret;
}

40
cpp/ql/test/library-tests/ir/ssa/unaliased_ssa_ir.expected
View File

@@ -724,3 +724,43 @@ ssa.cpp:
# 184| v0_17(void) = ReturnVoid :
# 184| v0_18(void) = UnmodeledUse : mu*
# 184| v0_19(void) = ExitFunction :
# 197| int PureFunctions(char*, char*, int)
# 197| Block 0
# 197| v0_0(void) = EnterFunction :
# 197| mu0_1(unknown) = AliasedDefinition :
# 197| mu0_2(unknown) = UnmodeledDefinition :
# 197| r0_3(glval<char *>) = VariableAddress[str1] :
# 197| m0_4(char *) = InitializeParameter[str1] : &:r0_3
# 197| r0_5(glval<char *>) = VariableAddress[str2] :
# 197| m0_6(char *) = InitializeParameter[str2] : &:r0_5
# 197| r0_7(glval<int>) = VariableAddress[x] :
# 197| m0_8(int) = InitializeParameter[x] : &:r0_7
# 198| r0_9(glval<int>) = VariableAddress[ret] :
# 198| r0_10(glval<unknown>) = FunctionAddress[strcmp] :
# 198| r0_11(glval<char *>) = VariableAddress[str1] :
# 198| r0_12(char *) = Load : &:r0_11, m0_4
# 198| r0_13(char *) = Convert : r0_12
# 198| r0_14(glval<char *>) = VariableAddress[str2] :
# 198| r0_15(char *) = Load : &:r0_14, m0_6
# 198| r0_16(char *) = Convert : r0_15
# 198| r0_17(int) = Call : func:r0_10, 0:r0_13, 1:r0_16
# 198| mu0_18(unknown) = ^CallSideEffect : ~mu0_2
# 198| m0_19(int) = Store : &:r0_9, r0_17
# 199| r0_20(glval<unknown>) = FunctionAddress[abs] :
# 199| r0_21(glval<int>) = VariableAddress[x] :
# 199| r0_22(int) = Load : &:r0_21, m0_8
# 199| r0_23(int) = Call : func:r0_20, 0:r0_22
# 199| mu0_24(unknown) = ^CallSideEffect : ~mu0_2
# 199| r0_25(glval<int>) = VariableAddress[ret] :
# 199| r0_26(int) = Load : &:r0_25, m0_19
# 199| r0_27(int) = Add : r0_26, r0_23
# 199| m0_28(int) = Store : &:r0_25, r0_27
# 200| r0_29(glval<int>) = VariableAddress[#return] :
# 200| r0_30(glval<int>) = VariableAddress[ret] :
# 200| r0_31(int) = Load : &:r0_30, m0_28
# 200| m0_32(int) = Store : &:r0_29, r0_31
# 197| r0_33(glval<int>) = VariableAddress[#return] :
# 197| v0_34(void) = ReturnValue : &:r0_33, m0_32
# 197| v0_35(void) = UnmodeledUse : mu*
# 197| v0_36(void) = ExitFunction :