Workflow

- Update GitHub workflow
- `src/sql`: disable unused code

.github/workflows/codeql.yml

@@ -24,7 +24,7 @@ jobs:
 
  steps:
  - name: Checkout
- uses: actions/checkout@v3
+ uses: actions/checkout@v4
 
  - name: Install Packages (cpp)
  if: ${{ matrix.language == 'cpp' }}
@@ -39,15 +39,15 @@ jobs:
  ./configure
 
  - name: Initialize CodeQL
- uses: github/codeql-action/init@v2
+ uses: github/codeql-action/init@v3
  with:
  languages: ${{ matrix.language }}
  queries: +security-and-quality
 
  - name: Autobuild
- uses: github/codeql-action/autobuild@v2
+ uses: github/codeql-action/autobuild@v3
 
  - name: Perform CodeQL Analysis
- uses: github/codeql-action/analyze@v2
+ uses: github/codeql-action/analyze@v3
  with:
  category: "/language:${{ matrix.language }}"

src/sql.cpp

@@ -415,13 +415,13 @@ class Per_sort {
  }
  Tlink* p = result.m_fl[0];
  it = m_table.m_rows.begin();
- int cnt = 0;
+ // int cnt = 0;
  while (p) {
  *it++ = p->row;
- cnt++;
+ // cnt++;
  Tlink* e = p->get_eq();
  while (e) {
- cnt++;
+ // cnt++;
  *it++ = e->row;
  e = e->get_eq();
  }