Add the ability to put __attribute__((maybe_undef)) on function arguments. Clang will now remove noundef attribute and introduces a freeze instruction on the argument. Previous review relating to the noundef attribute issue: D128907.
llvm discourse RFC topic: https://discourse.llvm.org/t/llvm-dev-rfc-d130224-introduce-maybe-undef-attribute-for-function-arguments-which-accepts-undef-values/63980