Pass irep_idt by value (C++ Core Guidelines F.16) + CI checker#9014

Open

tautschnig wants to merge 30 commits into

diffblue:developfrom

tautschnig:f16-checker

Commits on May 27, 2026

Add F.16 pass-by-value checker (Clang LibTooling)

tautschnig
and
kiro-agent
committed
Add CI runner for the F.16 pass-by-value checker

tautschnig
and
kiro-agent
committed
Add baseline of known F.16 pass-by-value violations

tautschnig
and
kiro-agent
committed
CI: gate PRs on F.16 pass-by-value regressions

tautschnig
and
kiro-agent
committed
Add --fix mode to the F.16 pass-by-value checker

tautschnig
and
kiro-agent
committed
Improve --fix robustness: --path-filter, manual save, own-param check

tautschnig
and
kiro-agent
committed
src/util: pass dstringt/irep_idt by value (F.16)

tautschnig
and
kiro-agent
committed
src/langapi: pass irep_idt by value (F.16)

tautschnig
and
kiro-agent
committed
src/json-symtab-language: pass irep_idt by value (F.16)

tautschnig
and
kiro-agent
committed
src/assembler: pass irep_idt by value (F.16)

tautschnig
and
kiro-agent
committed
src/ansi-c: pass irep_idt by value (F.16)

tautschnig
and
kiro-agent
committed
src/cpp: pass irep_idt by value (F.16)

tautschnig
and
kiro-agent
committed
src/goto-programs: pass irep_idt by value (F.16)

tautschnig
and
kiro-agent
committed
src/linking: pass irep_idt by value (F.16)

tautschnig
and
kiro-agent
committed
src/analyses: pass irep_idt by value (F.16)

tautschnig
and
kiro-agent
committed
src/pointer-analysis: pass irep_idt by value (F.16)

tautschnig
and
kiro-agent
committed
src/solvers: pass irep_idt by value (F.16)

tautschnig
and
kiro-agent
committed
src/goto-symex: pass irep_idt by value (F.16)

tautschnig
and
kiro-agent
committed
src/goto-checker: pass irep_idt by value (F.16)

tautschnig
and
kiro-agent
committed
src/goto-instrument: pass irep_idt by value (F.16)

tautschnig
and
kiro-agent
committed
src/ tools: pass irep_idt by value (F.16)

tautschnig
and
kiro-agent
committed
jbmc/src/java_bytecode: pass irep_idt by value (F.16)

tautschnig
and
kiro-agent
committed
jbmc/src tools: pass irep_idt by value (F.16)

tautschnig
and
kiro-agent
committed
unit tests: pass irep_idt by value (F.16)

tautschnig
and
kiro-agent
committed
F.16 checker: warn on non-fixable parameter sites

tautschnig
and
kiro-agent
committed
F.16: regenerate empty baseline; allow zero findings

tautschnig
and
kiro-agent
committed
CI: install libclang-cpp18-dev for the F.16 checker job

tautschnig
and
kiro-agent
committed
cpplint: exclude scripts/check_pass_by_value.cpp

tautschnig
and
kiro-agent
committed
doxygen: update \ref signatures after F.16 cleanup

tautschnig
and
kiro-agent
committed
Avoid gcc-14 -Wdangling-reference in sort_and_join

tautschnig
and
kiro-agent
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Pass irep_idt by value (C++ Core Guidelines F.16) + CI checker#9014

Pass irep_idt by value (C++ Core Guidelines F.16) + CI checker#9014
tautschnig wants to merge 30 commits into
diffblue:developfrom
tautschnig:f16-checker

Commits on May 27, 2026

Add F.16 pass-by-value checker (Clang LibTooling)

Add CI runner for the F.16 pass-by-value checker

Add baseline of known F.16 pass-by-value violations

CI: gate PRs on F.16 pass-by-value regressions

Add --fix mode to the F.16 pass-by-value checker

Improve --fix robustness: --path-filter, manual save, own-param check

src/util: pass dstringt/irep_idt by value (F.16)

src/langapi: pass irep_idt by value (F.16)

src/json-symtab-language: pass irep_idt by value (F.16)

src/assembler: pass irep_idt by value (F.16)

src/ansi-c: pass irep_idt by value (F.16)

src/cpp: pass irep_idt by value (F.16)

src/goto-programs: pass irep_idt by value (F.16)

src/linking: pass irep_idt by value (F.16)

src/analyses: pass irep_idt by value (F.16)

src/pointer-analysis: pass irep_idt by value (F.16)

src/solvers: pass irep_idt by value (F.16)

src/goto-symex: pass irep_idt by value (F.16)

src/goto-checker: pass irep_idt by value (F.16)

src/goto-instrument: pass irep_idt by value (F.16)

src/ tools: pass irep_idt by value (F.16)

jbmc/src/java_bytecode: pass irep_idt by value (F.16)

jbmc/src tools: pass irep_idt by value (F.16)

unit tests: pass irep_idt by value (F.16)

F.16 checker: warn on non-fixable parameter sites

F.16: regenerate empty baseline; allow zero findings

CI: install libclang-cpp18-dev for the F.16 checker job

cpplint: exclude scripts/check_pass_by_value.cpp

doxygen: update \ref signatures after F.16 cleanup

Avoid gcc-14 -Wdangling-reference in sort_and_join