CI : add CodeQL workflow

.github/workflows/test_codeql.yml

@@ -0,0 +1,40 @@
+name: Test CodeQL
+
+on:
+  workflow_dispatch:
+  push:
+    branches: [ "main" ]
+  pull_request:
+    branches: [ "main" ]
+
+jobs:
+  run:
+    runs-on: ubuntu-latest
+
+    permissions:
+      actions: read
+      contents: read
+      security-events: write
+
+    strategy:
+      fail-fast: false
+      matrix:
+        language: [ 'cpp' ]
+
+    steps:
+    - name: Checkout
+      uses: actions/checkout@v3
+
+    - name: Init
+      uses: github/codeql-action/init@v2
+      with:
+        languages: ${{ matrix.language }}
+        queries: security-extended,security-and-quality
+
+    - name: Autobuild
+      uses: github/codeql-action/autobuild@v2
+
+    - name: Analyze
+      uses: github/codeql-action/analyze@v2
+      with:
+        category: "/language:${{matrix.language}}"

src/domain/geometrics/relation.cpp

@@ -16,7 +16,6 @@ PolygonPoint cast(PolygonSegment const a) {
 	case PolygonSegment::IN: return PolygonPoint::IN;
 	case PolygonSegment::ON: return PolygonPoint::ON;
 	case PolygonSegment::OUT: return PolygonPoint::OUT;
-	default: abort();
 	}
 }