Check QLdoc coverage

C++: Fix dataflow inconsistencies #11459

Sign in to view logs

Summary
Jobs
- qldoc
Run details
- Usage
- Workflow file

Triggered via pull request December 7, 2023 23:07

MathiasVP

opened #15040

MathiasVP:fewer-dataflow-branches

Status Failure

Total duration 1m 11s

Artifacts –

check-qldoc.yml

on: pull_request

Annotations

1 error and 1 warning

Process completed with exit code 1.

qldoc: cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll#L565

Missing QLdoc for member-predicate DataFlowUtil::PostUpdateNodeImpl::getIndirectionIndex/0