mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
2c470ec036
The goal of this update is to propagate prototypes of functions called in wrappers to this wrappers. When some function hasn't it's own prototype, but the only thing it does is calling another function, DetectABI pass sets callee prototype as caller prototype also. This behaviour is limited to callers that: 1. have only one basic block 2. end with call 3. don't write arguments of callee 4. don't modify stack pointer 5. don't write to memory.