[Bug driver/103644] New: [OpenMP] -foffload= suggest also 'disable' (and 'default')

[burnus at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103644

            Bug ID: 103644
           Summary: [OpenMP] -foffload= suggest also 'disable' (and
                    'default')
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Keywords: diagnostic, openmp
          Severity: normal
          Priority: P3
         Component: driver
          Assignee: unassigned at gcc dot gnu.org
          Reporter: burnus at gcc dot gnu.org
  Target Milestone: ---

Found when having a typo in 'disable' – the diagnostic does not suggest
'disable'/'default', just actual offload targets

>From gcc.c's check_offload_target_name:

        error ("GCC is not configured to support %qs as offload target",
target2);
      if (candidates.is_empty ()) 
        inform (UNKNOWN_LOCATION, "no offloading targets configured");
          if (hint)
            inform (UNKNOWN_LOCATION,
                    "valid offload targets are: %s; did you mean %qs?", s,
hint);
          else
            inform (UNKNOWN_LOCATION, "valid offload targets are: %s", s);