Arthur Baars dd954ea943 CFG: correct flow for lambda bodies ...

Lambda bodies are parsed as nested do-blocks or normal blocks.
This is actually incorrect, as the body of a lambda can't have
parameters. However, we can "inline" such blocks to get the
desired control flow.

2020-12-17 10:04:01 +01:00

..

internal

CFG: correct flow for lambda bodies

2020-12-17 10:04:01 +01:00

BasicBlocks.qll

Use private imports in generated code

2020-12-07 15:14:34 +01:00

ControlFlowGraph.qll

CFG: correct flow for lambda bodies

2020-12-17 10:04:01 +01:00