Fix #14716 FP oppositeInnerCondition, x.size() < y.size() does not mean that x must be empty #20890

	# Syntax reference https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions
	# Environment reference https://help.github.com/en/actions/reference/virtual-environments-for-github-hosted-runners
	name: "CodeQL"

	on:
	push:
	branches:
	- 'main'
	- 'releases/**'
	- '2.*'
	tags:
	- '2.*'
	pull_request:

	permissions:
	contents: read

	jobs:
	analyze:
	name: Analyze
	runs-on: ubuntu-22.04
	permissions:
	security-events: write

	strategy:
	fail-fast: false
	matrix:
	# Override automatic language detection by changing the below list
	# Supported options are ['csharp', 'cpp', 'go', 'java', 'javascript', 'python']
	language: ['cpp', 'python']
	# Learn more...
	# https://docs.github.com/en/github/finding-security-vulnerabilities-and-errors-in-your-code/configuring-code-scanning#overriding-automatic-language-detection

	steps:
	- name: Checkout repository
	uses: actions/checkout@v4
	with:
	persist-credentials: false

	# Initializes the CodeQL tools for scanning.
	- name: Initialize CodeQL
	uses: github/codeql-action/init@v3
	with:
	languages: ${{ matrix.language }}

	- name: Build cppcheck
	if: matrix.language == 'cpp'
	run: \|
	make -j$(nproc) CXXOPTS="-Werror" HAVE_RULES=yes CPPCHK_GLIBCXX_DEBUG= cppcheck

	- name: Perform CodeQL Analysis
	uses: github/codeql-action/analyze@v3

Provide feedback