C++: Add exception edges out of calls inside try statements

[MathiasVP]

Same as #19746, but for C++ exceptions (whereas #19746 was for SEH exceptions).

[Copilot]

Pull Request Overview

This PR introduces C++ exception edges for calls inside try statements and updates the corresponding test expectations.

• Updated library test .expected files to remove obsolete SEH entries and reflect new C++ exception edges.
• Extended TranslatedFunctionCall in TranslatedCall.qll to include C++ exception edges for functions that may throw.

Reviewed Changes

Copilot reviewed 8 out of 6 changed files in this pull request and generated no comments.

File	Description
cpp/ql/test/library-tests/controlflow/guards/GuardsEnsure.expected	Removed outdated SEH entries for calls inside try
cpp/ql/test/library-tests/controlflow/guards/GuardsControl.expected	Cleaned up obsolete expected line for SEH exception edge
cpp/ql/test/library-tests/controlflow/guards-ir/tests.expected	Adjusted IR test expectations to add C++ exception edges
cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCall.qll	Imported interface and updated isExceptionalEdge predicate to handle C++ exception edges

Comments suppressed due to low confidence (2)

cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCall.qll:371

• The predicate references NonCppThrowingFunction, but only NonThrowing was imported. Either import the correct NonCppThrowingFunction interface or update the code to use the imported interface.

not expr.getTarget() instanceof NonCppThrowingFunction

cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCall.qll:7

• [nitpick] The imported NonThrowing interface is not used elsewhere in this file; consider removing it if it’s not needed after addressing the predicate reference.

private import semmle.code.cpp.models.interfaces.NonThrowing