Skip to content

Commit f238b08

Browse files
committed
C++: Add leave statement to dbscheme
1 parent 3fed7f5 commit f238b08

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
@@ -2212,6 +2212,7 @@ case @stmt.kind of
22122212
| 37 = @stmt_co_return
22132213
| 38 = @stmt_consteval_if
22142214
| 39 = @stmt_not_consteval_if
2215+
| 40 = @stmt_leave
22152216
;
22162217

22172218
type_vla(
@@ -2348,7 +2349,7 @@ blockscope(
23482349
int enclosing: @parameterized_element ref
23492350
);
23502351

2351-
@jump = @stmt_goto | @stmt_break | @stmt_continue;
2352+
@jump = @stmt_goto | @stmt_break | @stmt_continue | @stmt_leave;
23522353

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

0 commit comments

Comments
 (0)