Skip to content

Commit 7a4de55

Browse files
committed
C++: Add leave statement to dbscheme
1 parent 55eb9fb commit 7a4de55

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

cpp/ql/lib/semmlecode.cpp.dbscheme

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2213,6 +2213,7 @@ case @stmt.kind of
22132213
| 37 = @stmt_co_return
22142214
| 38 = @stmt_consteval_if
22152215
| 39 = @stmt_not_consteval_if
2216+
| 40 = @stmt_leave
22162217
;
22172218

22182219
type_vla(
@@ -2349,7 +2350,7 @@ blockscope(
23492350
int enclosing: @parameterized_element ref
23502351
);
23512352

2352-
@jump = @stmt_goto | @stmt_break | @stmt_continue;
2353+
@jump = @stmt_goto | @stmt_break | @stmt_continue | @stmt_leave;
23532354

23542355
@jumporlabel = @jump | @stmt_label | @literal;
23552356

0 commit comments

Comments
 (0)