[PS4/PS5] Specify no <complex.h> or <threads.h>

[probinson]

Summary

We've never provided these headers so set the preprocessor
toggles to reflect that.

[aaron.ballman]

Just to double-check, no to threads but yes to atomics? (Checking whether you also need __STDC_NO_ATOMICS__ or not.)

Should this have a release note?

[probinson]

That's correct, I do see <stdatomic.h> in our SDK.

I don't see a need for a release note; we're not actually removing anything that we used to support.

[aaron.ballman]

LGTM, thanks for double-checking on the atomics question!

clang/lib/Basic/Targets/OSTargets.h

protected:
   void getOSDefines(const LangOptions &Opts, const llvm::Triple &Triple,
                     MacroBuilder &Builder) const override {
     Builder.defineMacro("__FreeBSD__", "9");
     Builder.defineMacro("__FreeBSD_cc_version", "900001");
     Builder.defineMacro("__KPRINTF_ATTRIBUTE__");
     DefineStd(Builder, "unix", Opts);
     Builder.defineMacro("__ELF__");
     Builder.defineMacro("__SCE__");
+    Builder.defineMacro("__STDC_NO_COMPLEX__");
+    Builder.defineMacro("__STDC_NO_THREADS__");
   }
 
 public:
   PSOSTargetInfo(const llvm::Triple &Triple, const TargetOptions &Opts)
       : OSTargetInfo<Target>(Triple, Opts) {
     this->WCharType = TargetInfo::UnsignedShort;
 
     // On PS4/PS5, TLS variable cannot be aligned to more than 32 bytes (256

clang/test/C/C11/n1460.c

 // RUN: %clang_cc1 -verify -Wno-vla %s
 
 /* WG14 N1460: Yes
  * Subsetting the standard
  */
 
 // If we claim to not support the feature then we expect diagnostics when
 // using that feature. Otherwise, we expect no diagnostics.
 #ifdef __STDC_NO_COMPLEX__
-  // We do not have any targets which do not support complex, so we don't
-  // expect to get into this block.
+  // PS4/PS5 set this to indicate no <complex.h> but still support the
+  // _Complex syntax.
+  #ifdef __SCE__
+    #define HAS_COMPLEX
+  #else
+    // We do not have any other targets which do not support complex, so we
+    // don't expect to get into this block.
     #error "it's unexpected that we don't support complex"
+  #endif
   float _Complex fc;
   double _Complex dc;
   long double _Complex ldc;
 #else
   #define HAS_COMPLEX
   float _Complex fc;
   double _Complex dc;
   long double _Complex ldc;