Skip to content

DPL Analysis: improve error message on wrong index dereference #22880

DPL Analysis: improve error message on wrong index dereference

DPL Analysis: improve error message on wrong index dereference #22880

Triggered via pull request January 31, 2025 09:48
@aalkinaalkin
opened #13920
Status Success
Total duration 1m 13s
Artifacts

code-formatting.yml

on: pull_request_target
PR formatting  /  clang-format
26s
PR formatting / clang-format
PR formatting  /  copyright headers
17s
PR formatting / copyright headers
PR formatting  /  line endings
25s
PR formatting / line endings
PR formatting  /  whitespace
16s
PR formatting / whitespace
PR formatting  /  pragma-once
7s
PR formatting / pragma-once
Fit to window
Zoom out
Zoom in