llvmbot wrote:

<!--LLVM PR SUMMARY COMMENT-->

@llvm/pr-subscribers-clang

Author: Jefferson Le Quellec (jle-quel)

<details>
<summary>Changes</summary>

## Description

This PR fixes a segmentation fault that occurs when passing options requiring 
arguments via `-Xopenmp-target=&lt;triple&gt;`. The issue was that the function 
`Driver::getOffloadArchs` did not properly parse the extracted option, but 
instead assumed   it was valid, leading to a crash when incomplete arguments 
were provided.

## Backtrace

```sh
llvm-project/build/bin/clang++ main.cpp -fopenmp=libomp 
-fopenmp-targets=powerpc64le-ibm-linux-gnu 
-Xopenmp-target=powerpc64le-ibm-linux-gnu -o 
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and 
include the crash backtrace, preprocessed source, and associated run script.
Stack dump:
0.      Program arguments: llvm-project/build/bin/clang++ main.cpp 
-fopenmp=libomp -fopenmp-targets=powerpc64le-ibm-linux-gnu 
-Xopenmp-target=powerpc64le-ibm-linux-gnu -o
1.      Compilation construction
2.      Building compilation actions
 #<!-- -->0 0x0000562fb21c363b 
llvm::sys::PrintStackTrace(llvm::raw_ostream&amp;, int) 
(llvm-project/build/bin/clang+++0x392f63b)
 #<!-- -->1 0x0000562fb21c0e3c SignalHandler(int) Signals.cpp:0:0
 #<!-- -->2 0x00007fcbf6c81420 __restore_rt 
(/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
 #<!-- -->3 0x0000562fb1fa5d70 
llvm::opt::Option::matches(llvm::opt::OptSpecifier) const 
(llvm-project/build/bin/clang+++0x3711d70)
 #<!-- -->4 0x0000562fb2a78e7d 
clang::driver::Driver::getOffloadArchs(clang::driver::Compilation&amp;, 
llvm::opt::DerivedArgList const&amp;, clang::driver::Action::OffloadKind, 
clang::driver::ToolChain const*, bool) const 
(llvm-project/build/bin/clang+++0x41e4e7d)
 #<!-- -->5 0x0000562fb2a7a9aa 
clang::driver::Driver::BuildOffloadingActions(clang::driver::Compilation&amp;, 
llvm::opt::DerivedArgList&amp;, std::pair&lt;clang::driver::types::ID, 
llvm::opt::Arg const*&gt; const&amp;, clang::driver::Action*) const 
(.part.1164) Driver.cpp:0:0
 #<!-- -->6 0x0000562fb2a7c093 
clang::driver::Driver::BuildActions(clang::driver::Compilation&amp;, 
llvm::opt::DerivedArgList&amp;, 
llvm::SmallVector&lt;std::pair&lt;clang::driver::types::ID, llvm::opt::Arg 
const*&gt;, 16u&gt; const&amp;, llvm::SmallVector&lt;clang::driver::Action*, 
3u&gt;&amp;) const (llvm-project/build/bin/clang+++0x41e8093)
 #<!-- -->7 0x0000562fb2a8395d 
clang::driver::Driver::BuildCompilation(llvm::ArrayRef&lt;char const*&gt;) 
(llvm-project/build/bin/clang+++0x41ef95d)
 #<!-- -->8 0x0000562faf92684c clang_main(int, char**, llvm::ToolContext 
const&amp;) (llvm-project/build/bin/clang+++0x109284c)
 #<!-- -->9 0x0000562faf826cc6 main (llvm-project/build/bin/clang+++0xf92cc6)
#<!-- -->10 0x00007fcbf6699083 __libc_start_main 
/build/glibc-LcI20x/glibc-2.31/csu/../csu/libc-start.c:342:3
#<!-- -->11 0x0000562faf923a5e _start (llvm-project/build/bin/clang+++0x108fa5e)
[1]    2628042 segmentation fault (core dumped)   main.cpp -fopenmp=libomp 
-fopenmp-targets=powerpc64le-ibm-linux-gnu  -o
```

---
Full diff: https://github.com/llvm/llvm-project/pull/115375.diff


3 Files Affected:

- (modified) clang/lib/Driver/Driver.cpp (+6) 
- (modified) clang/lib/Driver/ToolChain.cpp (+4-2) 
- (modified) clang/test/Driver/openmp-offload.c (+8-2) 


``````````diff
diff --git a/clang/lib/Driver/Driver.cpp b/clang/lib/Driver/Driver.cpp
index 93e85f7dffe35a..a7e985195a3051 100644
--- a/clang/lib/Driver/Driver.cpp
+++ b/clang/lib/Driver/Driver.cpp
@@ -4528,7 +4528,13 @@ Driver::getOffloadArchs(Compilation &C, const 
llvm::opt::DerivedArgList &Args,
         ToolChain::getOpenMPTriple(Arg->getValue(0)) == TC->getTriple()) {
       Arg->claim();
       unsigned Index = Args.getBaseArgs().MakeIndex(Arg->getValue(1));
+      unsigned Prev = Index;
       ExtractedArg = getOpts().ParseOneArg(Args, Index);
+      if (!ExtractedArg || Index > Prev + 1) {
+        TC->getDriver().Diag(diag::err_drv_invalid_Xopenmp_target_with_args)
+            << Arg->getAsString(Args);
+        continue;
+      }
       Arg = ExtractedArg.get();
     }
 
diff --git a/clang/lib/Driver/ToolChain.cpp b/clang/lib/Driver/ToolChain.cpp
index 646dbc0faf5a9f..188d2dc7e03e25 100644
--- a/clang/lib/Driver/ToolChain.cpp
+++ b/clang/lib/Driver/ToolChain.cpp
@@ -1598,8 +1598,10 @@ llvm::opt::DerivedArgList 
*ToolChain::TranslateOpenMPTargetArgs(
     Prev = Index;
     std::unique_ptr<Arg> XOpenMPTargetArg(Opts.ParseOneArg(Args, Index));
     if (!XOpenMPTargetArg || Index > Prev + 1) {
-      getDriver().Diag(diag::err_drv_invalid_Xopenmp_target_with_args)
-          << A->getAsString(Args);
+      if (!A->isClaimed()) {
+        getDriver().Diag(diag::err_drv_invalid_Xopenmp_target_with_args)
+            << A->getAsString(Args);
+      }
       continue;
     }
     if (XOpenMPTargetNoTriple && XOpenMPTargetArg &&
diff --git a/clang/test/Driver/openmp-offload.c 
b/clang/test/Driver/openmp-offload.c
index eaed0d66df75cb..8c787cbc695335 100644
--- a/clang/test/Driver/openmp-offload.c
+++ b/clang/test/Driver/openmp-offload.c
@@ -84,9 +84,15 @@
 
 /// Check -Xopenmp-target triggers error when an option requiring arguments is 
passed to it.
 // RUN:   not %clang -### -no-canonical-prefixes -fopenmp=libomp 
-fopenmp-targets=powerpc64le-ibm-linux-gnu -Xopenmp-target -Xopenmp-target 
-mcpu=pwr8 %s 2>&1 \
-// RUN:   | FileCheck -check-prefix=CHK-FOPENMP-TARGET-NESTED-ERROR %s
+// RUN:   | FileCheck -check-prefix=CHK-FOPENMP-TARGET-NESTED-ERROR_0 %s
 
-// CHK-FOPENMP-TARGET-NESTED-ERROR: clang{{.*}} error: invalid -Xopenmp-target 
argument: '-Xopenmp-target -Xopenmp-target', options requiring arguments are 
unsupported
+// CHK-FOPENMP-TARGET-NESTED-ERROR_0: clang{{.*}} error: invalid 
-Xopenmp-target argument: '-Xopenmp-target -Xopenmp-target', options requiring 
arguments are unsupported
+
+/// Check -Xopenmp-target= triggers error when an option requiring arguments 
is passed to it.
+// RUN:   not %clang -### -no-canonical-prefixes -fopenmp=libomp 
-fopenmp-targets=powerpc64le-ibm-linux-gnu 
-Xopenmp-target=powerpc64le-ibm-linux-gnu -Xopenmp-target -mcpu=pwr8 %s 2>&1 \
+// RUN:   | FileCheck -check-prefix=CHK-FOPENMP-TARGET-NESTED-ERROR_1 %s
+
+// CHK-FOPENMP-TARGET-NESTED-ERROR_1: clang{{.*}} error: invalid 
-Xopenmp-target argument: '-Xopenmp-target=powerpc64le-ibm-linux-gnu 
-Xopenmp-target', options requiring arguments are unsupported
 
 /// ###########################################################################
 

``````````

</details>


https://github.com/llvm/llvm-project/pull/115375
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to