mirror of
https://github.com/github/codeql.git
synced 2025-12-21 19:26:31 +01:00
cfbc3f73ec
We noticed that when - a function has more than one summary (with different charpred) - one summary is subsumed by a subpath (or something happens around the function being extracted) - the function is called multiple times(we needed at least three) one of the summaries would no longer lead to flow.
5 lines
67 B
Python
5 lines
67 B
Python
def with_subpath(x):
|
|
return x
|
|
|
|
def without_subpath(x):
|
|
pass |