Add LLVM_ATTRIBUTE_NORETURN to report_bad_alloc_error
authorAaron Puchert <aaronpuchert@alice-dsl.net>
Tue, 9 Jun 2020 15:10:56 +0000 (17:10 +0200)
committerAaron Puchert <aaron.puchert@sap.com>
Tue, 9 Jun 2020 15:45:12 +0000 (17:45 +0200)
commit55c365d247b1df358eddba5a98337c8ab9f1e7b0
treebcb327d825cf8a9692f6607e0352826ca793658d
parent972800039566b10dec9c918a9dabc1f6a0619122
Add LLVM_ATTRIBUTE_NORETURN to report_bad_alloc_error

Summary:
The attribute just means that there will be no regular return, it still
leaves room for exceptions to be thrown. It is easily verified: there
are no direct returns and the last statement is either a throw or a call
to abort.

Having the annotation helps static analyzers with this code from
Support/MemAlloc.h (slightly simplified):

LLVM_ATTRIBUTE_RETURNS_NONNULL inline void *safe_malloc(size_t Sz) {
  void *Result = std::malloc(Sz);
  if (Result == nullptr)
    report_bad_alloc_error("Allocation failed");
  return Result;
}

Were report_bad_alloc_error to return regularly, the function would
return nullptr, contradicting the attribute.

Reviewers: rnk, sepavloff, dblaikie, aaron.ballman

Reviewed By: dblaikie, aaron.ballman

Differential Revision: https://reviews.llvm.org/D81318
llvm/include/llvm/Support/ErrorHandling.h