hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-22 23:35:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Revert 17694 and keep tests

Browse Source
This commit is contained in:
Calum Grant
2024-11-11 13:06:50 +00:00
parent e3662fa97f
commit 2f032ec7b8
2 changed files with 67 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
View File

@@ -196,8 +196,6 @@ private predicate isInvalidFunction(Function func) {
expr.getEnclosingFunction() = func and
not exists(expr.getType())
)
or
count(func.getEntryPoint().getLocation()) > 1
}
/**

67
cpp/ql/test/library-tests/ir/multiple-entry-points/raw_ir.expected
View File

@@ -0,0 +1,67 @@
test1.cpp:
# 3| int foo(int)
# 3| Block 0
# 3| v3_1(void) = EnterFunction :
test2.cpp:
# 1| v3_1(void) = EnterFunction :
test1.cpp:
# 3| mu3_2(unknown) = AliasedDefinition :
test2.cpp:
# 1| mu3_2(unknown) = AliasedDefinition :
test1.cpp:
# 3| mu3_3(unknown) = InitializeNonLocal :
test2.cpp:
# 1| mu3_3(unknown) = InitializeNonLocal :
test1.cpp:
# 3| r3_4(glval<int>) = VariableAddress[i] :
test2.cpp:
# 1| r3_4(glval<int>) = VariableAddress[i] :
test1.cpp:
# 3| mu3_5(int) = InitializeParameter[i] : &:r1_4, &:r3_4
test2.cpp:
# 1| mu3_5(int) = InitializeParameter[i] : &:r1_4, &:r3_4
#-----| Goto -> Block 2
#-----| Goto -> Block 2
# 1| Block 0
#-----| Goto -> Block 2
#-----| Goto -> Block 2
test1.cpp:
# 3| Block 1
# 3| r3_6(glval<int>) = VariableAddress[#return] :
test2.cpp:
# 1| r3_6(glval<int>) = VariableAddress[#return] :
test1.cpp:
# 3| v3_7(void) = ReturnValue : &:r1_6, &:r3_6, ~m?
test2.cpp:
# 1| v3_7(void) = ReturnValue : &:r1_6, &:r3_6, ~m?
test1.cpp:
# 3| v3_8(void) = AliasedUse : ~m?
test2.cpp:
# 1| v3_8(void) = AliasedUse : ~m?
test1.cpp:
# 3| v3_9(void) = ExitFunction :
test2.cpp:
# 1| v3_9(void) = ExitFunction :
# 1| Block 1
test1.cpp:
# 4| Block 2
# 4| r4_1(glval<int>) = VariableAddress[#return] :
# 4| r4_2(int) = Constant[42] :
# 4| mu4_3(int) = Store[#return] : &:r4_1, r4_2
#-----| Goto -> Block 1
#-----| Goto -> Block 1
test2.cpp:
# 2| Block 2
# 2| r2_1(glval<int>) = VariableAddress[#return] :
# 2| r2_2(glval<int>) = VariableAddress[i] :
# 2| r2_3(int) = Load[i] : &:r2_2, ~m?
# 2| mu2_4(int) = Store[#return] : &:r2_1, r2_3
#-----| Goto -> Block 1
#-----| Goto -> Block 1
# 1| int foo(int)