rust icon indicating copy to clipboard operation
rust copied to clipboard

could not staticallly determine size of realloc

Open ZuseZ4 opened this issue 1 year ago • 0 comments

The safe gmm implementation could idiomatically use Box<[T]>, since we know those Vec's wont' change their length. However, Enzyme fails with:

error: <unknown>:0:0: in function preprocess___rdl_realloc ptr (ptr, i64, i64, i64): Enzyme: could not statically determine size of realloc   %23 = tail call noundef ptr @realloc(ptr noundef %0, i64 noundef %3) #119 - because of - ptr %0

working variant is in: https://github.com/EnzymeAD/Enzyme/pull/1797

ZuseZ4 avatar Apr 05 '24 06:04 ZuseZ4