Test wrt libstdc++

Author: antoyo

.github/workflows/ci.yml

@@ -52,9 +52,7 @@ jobs:
       # `llvm-14-tools` is needed to install the `FileCheck` binary which is used for asm tests.
       run: sudo apt-get install ninja-build ripgrep llvm-14-tools llvm libstdc++6
 
-    - run: g++ -v
-
-    - run: find / -name libstdc++.so | true
+    - run: find / -name libstdc++.so 2> /dev/null | true
 
     - name: Install rustfmt & clippy
       run: rustup component add rustfmt clippy
@@ -67,6 +65,16 @@ jobs:
           sudo dpkg --force-overwrite -i ${{ matrix.libgccjit_version.gcc }}
           echo 'gcc-path = "/usr/lib/"' > config.toml
 
+    - name: Install libstdc++
+      run: sudo apt-get --reinstall install libstdc++6
+
+    - run: find / -name libstdc++.so 2> /dev/null | true
+
+    - run: g++ -v
+
+    - run: cc tests/main.cpp -o main -lstdc++
+    - run: cc tests/main.cpp -o main
+
     - name: Set env
       run: |
         echo "workspace="$GITHUB_WORKSPACE >> $GITHUB_ENV

tests/main.cpp

@@ -0,0 +1,6 @@
+#include <iostream>
+
+int main() {
+    std::cout << "Hello, world!\n";
+    return 0;
+}