Yep! Dumb example.
main()
x = get_from_some_external_data_source()
if x:
print("Hello World")
trigger_ub()
You might expect this code to always print if x is true but the optimizer can look at this and say "welp, if x is true then it would trigger ub, therefore it must be false, and since x must always be false we can just remove that entire branch."
