ci: verify DWARF5 symbols

Technically, this does not validate the DWARF5 parsing completely, but it looks for the `main` symbol to show up as expected when compiling with whatever GCC version MSYS2/Git for Windows uses (which is typically very close to the latest GCC version available). Signed-off-by: Johannes Schindelin <[email protected]>
dscho · Dec 3, 2021 · 13a21e9 · 13a21e9
1 parent 35c615b
commit 13a21e9
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml
@@ -52,4 +52,9 @@ jobs:
 
           gcc -g -o hello.exe hello.c &&
           bin/${{env.BUILD_CONFIGURATION}}*/cv2pdb.exe hello.exe world.exe &&
-          ls -l hello* world*
+
+          ls -l hello* world* &&
+
+          curl -Lo cvdump.exe https://raw.githubusercontent.com/microsoft/microsoft-pdb/HEAD/cvdump/cvdump.exe &&
+          ./cvdump.exe world.pdb >world.cvdump &&
+          grep '^S_PUB32: .*, Flags: 00000000, main$' world.cvdump