[clang] [clang] Warn on umask() argument bits outside 0777 (PR #198130)

[Denys Fedoryshchenko via cfe-commits]

================
@@ -1490,6 +1490,49 @@ void Sema::checkFortifiedBuiltinMemoryFunction(FunctionDecl *FD,
                           << FunctionName << DestinationStr << SourceStr);
 }
 
+void Sema::checkFortifiedLibcArgument(FunctionDecl *FD, CallExpr *TheCall) {
+  if (TheCall->isValueDependent() || TheCall->isTypeDependent() ||
+      isConstantEvaluatedContext())
+    return;
+  if (!FD->isExternC())
+    return;
+  const IdentifierInfo *II = FD->getIdentifier();
+  if (!II)
+    return;
+
+  // umask(mode_t): warn when the constant-evaluated argument has bits set
+  // outside the file-permission mask (0777). Those bits are ignored.
+  // Require a matching system-header declaration to avoid warning on
+  // user-defined lookalikes.
+  auto AnyDeclInSystemHeader = [&](const FunctionDecl *F) {
----------------
nuclearcat wrote:

Fixed with an empty prototype + IgnoreSignature (like pthread_create): no implicit builtin decl is formed, so the libc's umask keeps its builtin id whatever width mode_t is, and the existing "single integer arg" guard handles the type. Added a 16-bit Darwin regression test. Thanks for the steer!

https://github.com/llvm/llvm-project/pull/198130