realloc

FWIW, the handling of infinite loops in LLVM IR was codified late last year with the addition of the "mustprogress" function and loop attribute in LLVM IR, whereby languages which want to require forward progress must explicitly opt into the requirement. ("forward progress" being defined by the C and C++ standards, e.g. https://eel.is/c++draft/intro.progress for C++).