mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
10 lines
586 B
Markdown
10 lines
586 B
Markdown
## 0.10.0
|
|
|
|
### Minor Analysis Improvements
|
|
|
|
* Functions that do not return due to calling functions that don't return (e.g. `exit`) are now detected as
|
|
non-returning in the IR and dataflow.
|
|
* Treat functions that reach the end of the function as returning in the IR.
|
|
They used to be treated as unreachable but it is allowed in C.
|
|
* The `DataFlow::asDefiningArgument` predicate now takes its argument from the range starting at `1` instead of `2`. Queries that depend on the single-parameter version of `DataFlow::asDefiningArgument` should have their arguments updated accordingly.
|