Accept repeated prototypes for extern inline functions, without dropping the prototyped function#227

Open

stephenrkell wants to merge 2 commits into

goblint:developfrom

stephenrkell:goblint-extinlinefix

Commits on Apr 29, 2026

cabs2cil: don't let extern inline prototypes replace definitions of the same function seen earlier.
stephenrkell
committed
Add test case for repeated prototypes of extern inline functions (the fix in commit bf49a9).
stephenrkell
committed