| 2337 | } |
| 2338 | |
| 2339 | uint64_t FnCall::getAlign() const { |
| 2340 | uint64_t align = 1; |
| 2341 | // TODO: add support for non constant alignments |
| 2342 | if (auto *arg = getAlignArg()) |
| 2343 | align = getIntOr(*arg, 1); |
| 2344 | |
| 2345 | return max(align, |
| 2346 | attrs.has(FnAttrs::Align) ? attrs.align : |
| 2347 | (attrs.isAlloc() ? heap_block_alignment : 1)); |
| 2348 | } |
| 2349 | |
| 2350 | uint64_t FnCall::getMaxAccessSize() const { |
| 2351 | uint64_t sz = attrs.has(FnAttrs::Dereferenceable) ? attrs.derefBytes : 0; |
no test coverage detected