From 7af828720a0c3d03d319ad33cadb73588543dc5a Mon Sep 17 00:00:00 2001 From: idrissrio Date: Fri, 13 Jun 2025 09:41:19 +0200 Subject: [PATCH] C++: address review comments --- .../a8c2176e9a5cf9be8d17053a4c8e7e56b5aced6d/upgrade.properties | 2 +- cpp/ql/lib/change-notes/2025-06-11-leave-stmt.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/cpp/downgrades/a8c2176e9a5cf9be8d17053a4c8e7e56b5aced6d/upgrade.properties b/cpp/downgrades/a8c2176e9a5cf9be8d17053a4c8e7e56b5aced6d/upgrade.properties index 05a32c10760..beabef86257 100644 --- a/cpp/downgrades/a8c2176e9a5cf9be8d17053a4c8e7e56b5aced6d/upgrade.properties +++ b/cpp/downgrades/a8c2176e9a5cf9be8d17053a4c8e7e56b5aced6d/upgrade.properties @@ -1,3 +1,3 @@ description: Support `__leave` statement -compatibility: backwards +compatibility: full stmts.rel: run stmts.qlo diff --git a/cpp/ql/lib/change-notes/2025-06-11-leave-stmt.md b/cpp/ql/lib/change-notes/2025-06-11-leave-stmt.md index 3e410e57448..d06be5b77a9 100644 --- a/cpp/ql/lib/change-notes/2025-06-11-leave-stmt.md +++ b/cpp/ql/lib/change-notes/2025-06-11-leave-stmt.md @@ -2,4 +2,4 @@ category: feature --- * The Microsoft-specific `__leave` statement is now supported. -* A new class `LeaveStmt` extending `JumpStmt` was added to represent these statements. \ No newline at end of file +* A new class `LeaveStmt` extending `JumpStmt` was added to represent `__leave` statements. \ No newline at end of file