mirror of
https://github.com/github/codeql.git
synced 2025-12-17 09:13:20 +01:00
17 lines
509 B
Python
17 lines
509 B
Python
from trace import *
|
|
enter(__file__)
|
|
|
|
# definition based on "random" choice in this case it will always go the the if-branch,
|
|
# but our analysis is not able to figure this out
|
|
if eval("True"):
|
|
if_then_else_defined = "if_defined"
|
|
else:
|
|
# we also check that nested if-then-else works, it would be easy to accidentally
|
|
# only support _one_ level of nesting.
|
|
if eval("True"):
|
|
if_then_else_defined = "else_defined_1"
|
|
else:
|
|
if_then_else_defined = "else_defined_2"
|
|
|
|
exit(__file__)
|