[krishnprakash/codeql] 5aabd9: C++: Add direct and default initialization subclas...
0 views
Skip to first unread message
Phileco
Mar 30, 2026, 6:32:32 AM (8 days ago) Mar 30
to philecodi...@googlegroups.com
Branch: refs/heads/main
Home: https://github.com/krishnprakash/codeql
Commit: 5aabd90eff2069fa4f2c2d4c96b1b83a55eb7e8c
https://github.com/krishnprakash/codeql/commit/5aabd90eff2069fa4f2c2d4c96b1b83a55eb7e8c
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/exprs/Call.qll
M cpp/ql/test/library-tests/ctorinits/ctors.expected
M cpp/ql/test/library-tests/ir/ir/PrintAST.expected
Log Message:
-----------
C++: Add direct and default initialization subclasses for `ConstructorFieldInit`
Commit: 07603a835a6a8b763907f25a2f19753442d156cf
https://github.com/krishnprakash/codeql/commit/07603a835a6a8b763907f25a2f19753442d156cf
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/SideEffects.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
Log Message:
-----------
C++: Rename `CallOrAllocationExpr` to something more generic
Commit: 59c27a2196873064d37bd56d8ea9bbbc3307c2ef
https://github.com/krishnprakash/codeql/commit/59c27a2196873064d37bd56d8ea9bbbc3307c2ef
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/test/library-tests/ir/ir/PrintAST.expected
M cpp/ql/test/library-tests/ir/ir/aliased_ir.expected
M cpp/ql/test/library-tests/ir/ir/ir.cpp
M cpp/ql/test/library-tests/ir/ir/raw_consistency.expected
M cpp/ql/test/library-tests/ir/ir/raw_ir.expected
Log Message:
-----------
C++: Add NSDMI tests
Commit: 68039ecd687f3cf45910e8e10dbb6f61cf62a532
https://github.com/krishnprakash/codeql/commit/68039ecd687f3cf45910e8e10dbb6f61cf62a532
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/test/library-tests/dataflow/dataflow-tests/dataflow-consistency.expected
M cpp/ql/test/library-tests/dataflow/dataflow-tests/test-source-sink.expected
M cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp
Log Message:
-----------
C++: Add NSDMI dataflow test
Commit: 09f930f4e86d64f5b65455682d4d8e8ecac9a828
https://github.com/krishnprakash/codeql/commit/09f930f4e86d64f5b65455682d4d8e8ecac9a828
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCondition.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedDeclarationEntry.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedInitialization.qll
A cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedNonStaticDataMember.qll
Log Message:
-----------
C++: Generate initialization function for each NSDMI
Commit: 9e60e1217f8e274f90ba3aae6b9130cf69a3f452
https://github.com/krishnprakash/codeql/commit/9e60e1217f8e274f90ba3aae6b9130cf69a3f452
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/test/library-tests/ir/ir/PrintConfig.qll
M cpp/ql/test/library-tests/ir/ir/aliased_ir.expected
M cpp/ql/test/library-tests/ir/ir/raw_ir.expected
Log Message:
-----------
C++: Update expected test results
Commit: b91a52a050c521842951ecbb42ede17f48945aa6
https://github.com/krishnprakash/codeql/commit/b91a52a050c521842951ecbb42ede17f48945aa6
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImplCommon.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/Instruction.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCall.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll
Log Message:
-----------
C++: Allow `getInstructionFunction` to yield a declaration
Commit: e986d8922aefb2c3c6afb98a2ebdccab002b309d
https://github.com/krishnprakash/codeql/commit/e986d8922aefb2c3c6afb98a2ebdccab002b309d
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedInitialization.qll
M cpp/ql/test/library-tests/ir/ir/aliased_ir.expected
M cpp/ql/test/library-tests/ir/ir/raw_consistency.expected
M cpp/ql/test/library-tests/ir/ir/raw_ir.expected
Log Message:
-----------
C++: Call functions for NSDMI initialization
Currently missing: side-effect information for the functions
Commit: 22eda4ef0aa46f86967634ba4bf48e9a20cb3f06
https://github.com/krishnprakash/codeql/commit/22eda4ef0aa46f86967634ba4bf48e9a20cb3f06
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/SideEffects.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCall.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedInitialization.qll
Log Message:
-----------
C++: Add call side effects for default field initializations to the IR
Commit: f3fc80a080287553789191712179cff0b7072d36
https://github.com/krishnprakash/codeql/commit/f3fc80a080287553789191712179cff0b7072d36
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/test/library-tests/ir/ir/aliased_ir.expected
M cpp/ql/test/library-tests/ir/ir/raw_ir.expected
Log Message:
-----------
C++: Update expected test results
Commit: b554d7dd166f85952e72267f7d2785015378a12a
https://github.com/krishnprakash/codeql/commit/b554d7dd166f85952e72267f7d2785015378a12a
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedInitialization.qll
Log Message:
-----------
C++: Fix QL-for-QL warnings
Commit: 4a637cbe0a0457c52d9db7698e3065151b9d187a
https://github.com/krishnprakash/codeql/commit/4a637cbe0a0457c52d9db7698e3065151b9d187a
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/test/library-tests/dataflow/dataflow-tests/type-bugs.expected
Log Message:
-----------
C++: Accept dataflow test changes
These need to be looked at, but because data flow through default field
initialization is currently not working, let's postpone this as part of that
work.
Commit: 0f44d6a7800678c916aab68b1738d010b389f580
https://github.com/krishnprakash/codeql/commit/0f44d6a7800678c916aab68b1738d010b389f580
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
A cpp/ql/lib/change-notes/2026-03-24-field-init.md
Log Message:
-----------
C++: Add change note
Commit: 49c5cc05acf8c1fde4cf45055a65a27faa1ae04f
https://github.com/krishnprakash/codeql/commit/49c5cc05acf8c1fde4cf45055a65a27faa1ae04f
Author: Jeroen Ketema <93738568...@users.noreply.github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCall.qll
Log Message:
-----------
Update cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCall.qll
Co-authored-by: Copilot <17572847...@users.noreply.github.com>
Commit: db7c61969db301262f1bacc562ce3479146ef02f
https://github.com/krishnprakash/codeql/commit/db7c61969db301262f1bacc562ce3479146ef02f
Author: Jeroen Ketema <93738568...@users.noreply.github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/lib/change-notes/2026-03-24-field-init.md
Log Message:
-----------
Update cpp/ql/lib/change-notes/2026-03-24-field-init.md
Co-authored-by: Copilot <17572847...@users.noreply.github.com>
Commit: dad517ff5e637f4b14cfc86797bd2de8348f492e
https://github.com/krishnprakash/codeql/commit/dad517ff5e637f4b14cfc86797bd2de8348f492e
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/SideEffects.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
Log Message:
-----------
C++: Fix typo
Commit: 346ab9d623b96098816ed247fbf942f26833e7dc
https://github.com/krishnprakash/codeql/commit/346ab9d623b96098816ed247fbf942f26833e7dc
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-25 (Wed, 25 Mar 2026)
Changed paths:
M cpp/ql/test/library-tests/ir/ir/PrintAST.expected
M cpp/ql/test/library-tests/ir/ir/aliased_ir.expected
M cpp/ql/test/library-tests/ir/ir/aliased_ssa_consistency.expected
M cpp/ql/test/library-tests/ir/ir/aliased_ssa_consistency_unsound.expected
M cpp/ql/test/library-tests/ir/ir/ir.cpp
M cpp/ql/test/library-tests/ir/ir/raw_consistency.expected
M cpp/ql/test/library-tests/ir/ir/raw_ir.expected
M cpp/ql/test/library-tests/ir/ir/unaliased_ssa_consistency.expected
M cpp/ql/test/library-tests/ir/ir/unaliased_ssa_consistency_unsound.expected
Log Message:
-----------
C++: Add struct and variable template tests
Commit: ef780c15fb99b8f9b40aba5872540d2011d0c561
https://github.com/krishnprakash/codeql/commit/ef780c15fb99b8f9b40aba5872540d2011d0c561
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-25 (Wed, 25 Mar 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedDeclarationEntry.qll
Log Message:
-----------
C++: NSDMI fixes
* Do not generate IR for field initializers from uninstantiated templates.
* Add forgotten case to `TranslatedDeclarationEntry`
Commit: ab1f0c13e559aff522e761d308ac5a8f5c8c3ca3
https://github.com/krishnprakash/codeql/commit/ab1f0c13e559aff522e761d308ac5a8f5c8c3ca3
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-25 (Wed, 25 Mar 2026)
Changed paths:
M cpp/ql/test/library-tests/dataflow/dataflow-tests/type-bugs.expected
M cpp/ql/test/library-tests/ir/ir/aliased_ir.expected
M cpp/ql/test/library-tests/ir/ir/aliased_ssa_consistency.expected
M cpp/ql/test/library-tests/ir/ir/aliased_ssa_consistency_unsound.expected
M cpp/ql/test/library-tests/ir/ir/raw_consistency.expected
M cpp/ql/test/library-tests/ir/ir/raw_ir.expected
M cpp/ql/test/library-tests/ir/ir/unaliased_ssa_consistency.expected
M cpp/ql/test/library-tests/ir/ir/unaliased_ssa_consistency_unsound.expected
Log Message:
-----------
C++: Update expected test results
Commit: 8349bd50ba92fb006a34dbee9e9bd61c063a3df0
https://github.com/krishnprakash/codeql/commit/8349bd50ba92fb006a34dbee9e9bd61c063a3df0
Author: Jeroen Ketema <93738568...@users.noreply.github.com>
Date: 2026-03-30 (Mon, 30 Mar 2026)
Changed paths:
A cpp/ql/lib/change-notes/2026-03-24-field-init.md
M cpp/ql/lib/semmle/code/cpp/exprs/Call.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImplCommon.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/Instruction.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/SideEffects.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCall.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCondition.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedDeclarationEntry.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedInitialization.qll
A cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedNonStaticDataMember.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll
M cpp/ql/test/library-tests/ctorinits/ctors.expected
M cpp/ql/test/library-tests/dataflow/dataflow-tests/dataflow-consistency.expected
M cpp/ql/test/library-tests/dataflow/dataflow-tests/test-source-sink.expected
M cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp
M cpp/ql/test/library-tests/dataflow/dataflow-tests/type-bugs.expected
M cpp/ql/test/library-tests/ir/ir/PrintAST.expected
M cpp/ql/test/library-tests/ir/ir/PrintConfig.qll
M cpp/ql/test/library-tests/ir/ir/aliased_ir.expected
M cpp/ql/test/library-tests/ir/ir/ir.cpp
M cpp/ql/test/library-tests/ir/ir/raw_consistency.expected
M cpp/ql/test/library-tests/ir/ir/raw_ir.expected
Log Message:
-----------
Merge pull request #21391 from jketema/jketema/nsdmi
C++: Handle field initialization via NSDMI in IR generation
Commit: d2388d17f80891f61c3af499b140d9bf113226e1
https://github.com/krishnprakash/codeql/commit/d2388d17f80891f61c3af499b140d9bf113226e1
Author: Phileco <132178579+k...@users.noreply.github.com>
Date: 2026-03-30 (Mon, 30 Mar 2026)
Changed paths:
A cpp/ql/lib/change-notes/2026-03-24-field-init.md
M cpp/ql/lib/semmle/code/cpp/exprs/Call.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImplCommon.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/Instruction.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/SideEffects.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCall.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCondition.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedDeclarationEntry.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedInitialization.qll
A cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedNonStaticDataMember.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll
M cpp/ql/test/library-tests/ctorinits/ctors.expected
M cpp/ql/test/library-tests/dataflow/dataflow-tests/dataflow-consistency.expected
M cpp/ql/test/library-tests/dataflow/dataflow-tests/test-source-sink.expected
M cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp
M cpp/ql/test/library-tests/dataflow/dataflow-tests/type-bugs.expected
M cpp/ql/test/library-tests/ir/ir/PrintAST.expected
M cpp/ql/test/library-tests/ir/ir/PrintConfig.qll
M cpp/ql/test/library-tests/ir/ir/aliased_ir.expected
M cpp/ql/test/library-tests/ir/ir/ir.cpp
M cpp/ql/test/library-tests/ir/ir/raw_consistency.expected
M cpp/ql/test/library-tests/ir/ir/raw_ir.expected
Log Message:
-----------
Merge branch 'github:main' into main
Compare: https://github.com/krishnprakash/codeql/compare/9940370fa2e2...d2388d17f808
To unsubscribe from these emails, change your notification settings at https://github.com/krishnprakash/codeql/settings/notifications
Home: https://github.com/krishnprakash/codeql
Commit: 5aabd90eff2069fa4f2c2d4c96b1b83a55eb7e8c
https://github.com/krishnprakash/codeql/commit/5aabd90eff2069fa4f2c2d4c96b1b83a55eb7e8c
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/exprs/Call.qll
M cpp/ql/test/library-tests/ctorinits/ctors.expected
M cpp/ql/test/library-tests/ir/ir/PrintAST.expected
Log Message:
-----------
C++: Add direct and default initialization subclasses for `ConstructorFieldInit`
Commit: 07603a835a6a8b763907f25a2f19753442d156cf
https://github.com/krishnprakash/codeql/commit/07603a835a6a8b763907f25a2f19753442d156cf
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/SideEffects.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
Log Message:
-----------
C++: Rename `CallOrAllocationExpr` to something more generic
Commit: 59c27a2196873064d37bd56d8ea9bbbc3307c2ef
https://github.com/krishnprakash/codeql/commit/59c27a2196873064d37bd56d8ea9bbbc3307c2ef
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/test/library-tests/ir/ir/PrintAST.expected
M cpp/ql/test/library-tests/ir/ir/aliased_ir.expected
M cpp/ql/test/library-tests/ir/ir/ir.cpp
M cpp/ql/test/library-tests/ir/ir/raw_consistency.expected
M cpp/ql/test/library-tests/ir/ir/raw_ir.expected
Log Message:
-----------
C++: Add NSDMI tests
Commit: 68039ecd687f3cf45910e8e10dbb6f61cf62a532
https://github.com/krishnprakash/codeql/commit/68039ecd687f3cf45910e8e10dbb6f61cf62a532
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/test/library-tests/dataflow/dataflow-tests/dataflow-consistency.expected
M cpp/ql/test/library-tests/dataflow/dataflow-tests/test-source-sink.expected
M cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp
Log Message:
-----------
C++: Add NSDMI dataflow test
Commit: 09f930f4e86d64f5b65455682d4d8e8ecac9a828
https://github.com/krishnprakash/codeql/commit/09f930f4e86d64f5b65455682d4d8e8ecac9a828
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCondition.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedDeclarationEntry.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedInitialization.qll
A cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedNonStaticDataMember.qll
Log Message:
-----------
C++: Generate initialization function for each NSDMI
Commit: 9e60e1217f8e274f90ba3aae6b9130cf69a3f452
https://github.com/krishnprakash/codeql/commit/9e60e1217f8e274f90ba3aae6b9130cf69a3f452
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/test/library-tests/ir/ir/PrintConfig.qll
M cpp/ql/test/library-tests/ir/ir/aliased_ir.expected
M cpp/ql/test/library-tests/ir/ir/raw_ir.expected
Log Message:
-----------
C++: Update expected test results
Commit: b91a52a050c521842951ecbb42ede17f48945aa6
https://github.com/krishnprakash/codeql/commit/b91a52a050c521842951ecbb42ede17f48945aa6
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImplCommon.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/Instruction.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCall.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll
Log Message:
-----------
C++: Allow `getInstructionFunction` to yield a declaration
Commit: e986d8922aefb2c3c6afb98a2ebdccab002b309d
https://github.com/krishnprakash/codeql/commit/e986d8922aefb2c3c6afb98a2ebdccab002b309d
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedInitialization.qll
M cpp/ql/test/library-tests/ir/ir/aliased_ir.expected
M cpp/ql/test/library-tests/ir/ir/raw_consistency.expected
M cpp/ql/test/library-tests/ir/ir/raw_ir.expected
Log Message:
-----------
C++: Call functions for NSDMI initialization
Currently missing: side-effect information for the functions
Commit: 22eda4ef0aa46f86967634ba4bf48e9a20cb3f06
https://github.com/krishnprakash/codeql/commit/22eda4ef0aa46f86967634ba4bf48e9a20cb3f06
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/SideEffects.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCall.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedInitialization.qll
Log Message:
-----------
C++: Add call side effects for default field initializations to the IR
Commit: f3fc80a080287553789191712179cff0b7072d36
https://github.com/krishnprakash/codeql/commit/f3fc80a080287553789191712179cff0b7072d36
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/test/library-tests/ir/ir/aliased_ir.expected
M cpp/ql/test/library-tests/ir/ir/raw_ir.expected
Log Message:
-----------
C++: Update expected test results
Commit: b554d7dd166f85952e72267f7d2785015378a12a
https://github.com/krishnprakash/codeql/commit/b554d7dd166f85952e72267f7d2785015378a12a
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedInitialization.qll
Log Message:
-----------
C++: Fix QL-for-QL warnings
Commit: 4a637cbe0a0457c52d9db7698e3065151b9d187a
https://github.com/krishnprakash/codeql/commit/4a637cbe0a0457c52d9db7698e3065151b9d187a
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/test/library-tests/dataflow/dataflow-tests/type-bugs.expected
Log Message:
-----------
C++: Accept dataflow test changes
These need to be looked at, but because data flow through default field
initialization is currently not working, let's postpone this as part of that
work.
Commit: 0f44d6a7800678c916aab68b1738d010b389f580
https://github.com/krishnprakash/codeql/commit/0f44d6a7800678c916aab68b1738d010b389f580
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
A cpp/ql/lib/change-notes/2026-03-24-field-init.md
Log Message:
-----------
C++: Add change note
Commit: 49c5cc05acf8c1fde4cf45055a65a27faa1ae04f
https://github.com/krishnprakash/codeql/commit/49c5cc05acf8c1fde4cf45055a65a27faa1ae04f
Author: Jeroen Ketema <93738568...@users.noreply.github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCall.qll
Log Message:
-----------
Update cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCall.qll
Co-authored-by: Copilot <17572847...@users.noreply.github.com>
Commit: db7c61969db301262f1bacc562ce3479146ef02f
https://github.com/krishnprakash/codeql/commit/db7c61969db301262f1bacc562ce3479146ef02f
Author: Jeroen Ketema <93738568...@users.noreply.github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/lib/change-notes/2026-03-24-field-init.md
Log Message:
-----------
Update cpp/ql/lib/change-notes/2026-03-24-field-init.md
Co-authored-by: Copilot <17572847...@users.noreply.github.com>
Commit: dad517ff5e637f4b14cfc86797bd2de8348f492e
https://github.com/krishnprakash/codeql/commit/dad517ff5e637f4b14cfc86797bd2de8348f492e
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-24 (Tue, 24 Mar 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/SideEffects.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
Log Message:
-----------
C++: Fix typo
Commit: 346ab9d623b96098816ed247fbf942f26833e7dc
https://github.com/krishnprakash/codeql/commit/346ab9d623b96098816ed247fbf942f26833e7dc
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-25 (Wed, 25 Mar 2026)
Changed paths:
M cpp/ql/test/library-tests/ir/ir/PrintAST.expected
M cpp/ql/test/library-tests/ir/ir/aliased_ir.expected
M cpp/ql/test/library-tests/ir/ir/aliased_ssa_consistency.expected
M cpp/ql/test/library-tests/ir/ir/aliased_ssa_consistency_unsound.expected
M cpp/ql/test/library-tests/ir/ir/ir.cpp
M cpp/ql/test/library-tests/ir/ir/raw_consistency.expected
M cpp/ql/test/library-tests/ir/ir/raw_ir.expected
M cpp/ql/test/library-tests/ir/ir/unaliased_ssa_consistency.expected
M cpp/ql/test/library-tests/ir/ir/unaliased_ssa_consistency_unsound.expected
Log Message:
-----------
C++: Add struct and variable template tests
Commit: ef780c15fb99b8f9b40aba5872540d2011d0c561
https://github.com/krishnprakash/codeql/commit/ef780c15fb99b8f9b40aba5872540d2011d0c561
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-25 (Wed, 25 Mar 2026)
Changed paths:
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedDeclarationEntry.qll
Log Message:
-----------
C++: NSDMI fixes
* Do not generate IR for field initializers from uninstantiated templates.
* Add forgotten case to `TranslatedDeclarationEntry`
Commit: ab1f0c13e559aff522e761d308ac5a8f5c8c3ca3
https://github.com/krishnprakash/codeql/commit/ab1f0c13e559aff522e761d308ac5a8f5c8c3ca3
Author: Jeroen Ketema <jke...@github.com>
Date: 2026-03-25 (Wed, 25 Mar 2026)
Changed paths:
M cpp/ql/test/library-tests/dataflow/dataflow-tests/type-bugs.expected
M cpp/ql/test/library-tests/ir/ir/aliased_ir.expected
M cpp/ql/test/library-tests/ir/ir/aliased_ssa_consistency.expected
M cpp/ql/test/library-tests/ir/ir/aliased_ssa_consistency_unsound.expected
M cpp/ql/test/library-tests/ir/ir/raw_consistency.expected
M cpp/ql/test/library-tests/ir/ir/raw_ir.expected
M cpp/ql/test/library-tests/ir/ir/unaliased_ssa_consistency.expected
M cpp/ql/test/library-tests/ir/ir/unaliased_ssa_consistency_unsound.expected
Log Message:
-----------
C++: Update expected test results
Commit: 8349bd50ba92fb006a34dbee9e9bd61c063a3df0
https://github.com/krishnprakash/codeql/commit/8349bd50ba92fb006a34dbee9e9bd61c063a3df0
Author: Jeroen Ketema <93738568...@users.noreply.github.com>
Date: 2026-03-30 (Mon, 30 Mar 2026)
Changed paths:
A cpp/ql/lib/change-notes/2026-03-24-field-init.md
M cpp/ql/lib/semmle/code/cpp/exprs/Call.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImplCommon.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/Instruction.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/SideEffects.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCall.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCondition.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedDeclarationEntry.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedInitialization.qll
A cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedNonStaticDataMember.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll
M cpp/ql/test/library-tests/ctorinits/ctors.expected
M cpp/ql/test/library-tests/dataflow/dataflow-tests/dataflow-consistency.expected
M cpp/ql/test/library-tests/dataflow/dataflow-tests/test-source-sink.expected
M cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp
M cpp/ql/test/library-tests/dataflow/dataflow-tests/type-bugs.expected
M cpp/ql/test/library-tests/ir/ir/PrintAST.expected
M cpp/ql/test/library-tests/ir/ir/PrintConfig.qll
M cpp/ql/test/library-tests/ir/ir/aliased_ir.expected
M cpp/ql/test/library-tests/ir/ir/ir.cpp
M cpp/ql/test/library-tests/ir/ir/raw_consistency.expected
M cpp/ql/test/library-tests/ir/ir/raw_ir.expected
Log Message:
-----------
Merge pull request #21391 from jketema/jketema/nsdmi
C++: Handle field initialization via NSDMI in IR generation
Commit: d2388d17f80891f61c3af499b140d9bf113226e1
https://github.com/krishnprakash/codeql/commit/d2388d17f80891f61c3af499b140d9bf113226e1
Author: Phileco <132178579+k...@users.noreply.github.com>
Date: 2026-03-30 (Mon, 30 Mar 2026)
Changed paths:
A cpp/ql/lib/change-notes/2026-03-24-field-init.md
M cpp/ql/lib/semmle/code/cpp/exprs/Call.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll
M cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImplCommon.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/Instruction.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/Instruction.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/SideEffects.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCall.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCondition.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedDeclarationEntry.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedExpr.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedInitialization.qll
A cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedNonStaticDataMember.qll
M cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll
M cpp/ql/test/library-tests/ctorinits/ctors.expected
M cpp/ql/test/library-tests/dataflow/dataflow-tests/dataflow-consistency.expected
M cpp/ql/test/library-tests/dataflow/dataflow-tests/test-source-sink.expected
M cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp
M cpp/ql/test/library-tests/dataflow/dataflow-tests/type-bugs.expected
M cpp/ql/test/library-tests/ir/ir/PrintAST.expected
M cpp/ql/test/library-tests/ir/ir/PrintConfig.qll
M cpp/ql/test/library-tests/ir/ir/aliased_ir.expected
M cpp/ql/test/library-tests/ir/ir/ir.cpp
M cpp/ql/test/library-tests/ir/ir/raw_consistency.expected
M cpp/ql/test/library-tests/ir/ir/raw_ir.expected
Log Message:
-----------
Merge branch 'github:main' into main
Compare: https://github.com/krishnprakash/codeql/compare/9940370fa2e2...d2388d17f808
To unsubscribe from these emails, change your notification settings at https://github.com/krishnprakash/codeql/settings/notifications
Reply all
Reply to author
Forward
0 new messages