This page is generated from harness/cpp_cases.json and harness/cpp_grammar.json. The native oracle is the unchanged source compiled and called by Clang/LLVM 21.1.8. The Lean side is the literal artifact and evaluator in Examples/cpp; unavailable inputs are counted as ORACLE.
| rows | MATCH | DIVERGE | REFUSE | TIMEOUT | ORACLE |
|---|---|---|---|---|---|
| 925 | 908 | 0 | 7 | 0 | 10 |
Each row compares a Lean result with the native call. ORACLE is an environment or compilation boundary, not agreement.
| case | rung | Lean | native | verdict | detail |
|---|---|---|---|---|---|
translation.empty-root |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.namespace-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.function-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.parameter-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.record-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.base-specifier |
7 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.field-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.method-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.enum-constant-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.access-specification |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.constructor-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.destructor-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.conversion-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.friend-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.template-type-parameter |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.non-type-template-parameter |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.template-template-parameter |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.class-template-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.function-template-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.variable-template-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.type-alias-template-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.class-template-specialization-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.variable-template-specialization-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.class-template-partial-specialization-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.variable-template-partial-specialization-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.concept-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.deduction-guide-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.using-shadow-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.constructor-using-shadow-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.using-pack-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.unresolved-using-typename-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.unresolved-using-value-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.binding-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.decomposition-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.indirect-field-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.class-scope-function-specialization-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.friend-template-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.template-param-object-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.implicit-concept-specialization-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.requires-expression |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.type-requirement |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.simple-requirement |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.compound-requirement |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.nested-requirement |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.using-enum-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.lifetime-extended-temporary-declaration |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.materialize-temporary-expression |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.bind-temporary-expression |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.expression-with-cleanups |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.temporary-object-expression |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.cxx-construct-expression |
7 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.new-expression |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.delete-expression |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.default-init-expression |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.scalar-value-init-expression |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.initializer-list-expression |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.paren-list-init-expression |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.implicit-value-init-expression |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.implicit-cast-expression |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.parenthesized-expression |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.constant-expression |
2 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.static-cast-expression |
2 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.const-cast-expression |
2 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.reinterpret-cast-expression |
2 | ok |
ORACLE |
ORACLE | translation compile failed: translation.reinterpret-cast-expression.cpp:1:28: error: reinterpret_cast from 'int' to 'long' is not allowed 1 | long f(int value) { return reinterpret_cast(value); } | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 1 error generated. |
translation.dynamic-cast-expression |
7 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.bool-literal-expression |
2 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.nullptr-literal-expression |
2 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.character-literal-expression |
2 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.floating-literal-expression |
2 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.string-literal-expression |
2 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.integer-literal-expression |
2 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.declaration-reference-expression |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.this-expression |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.unary-operator-expression |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.binary-operator-expression |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.cxx-rewritten-binary-operator-expression |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.cxx-noexcept-expression |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.cxx-typeid-expression |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.cxx-fold-expression |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.cxx-coawait-expression |
3 | ok |
ORACLE |
ORACLE | translation compile failed: translation.cxx-coawait-expression.cpp:1:65: error: std::coroutine_traits type was not found; include before defining a coroutine 1 | struct Task { bool await_ready(); }; bool f(Task task) { return co_await task; } | ^ 1 error generated. |
translation.c-style-cast-expression |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.unary-expression-or-type-trait-expression |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.va-arg-expression |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.cxx-dependent-scope-member-expression |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.cxx-default-argument-expression |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.cxx-unresolved-construct-expression |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.unresolved-lookup-expression |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.cxx-pseudo-destructor-expression |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.cxx-unresolved-member-expression |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.cxx-dependent-scope-decl-ref-expression |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.cxx-inherited-constructor-init-expression |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.cxx-std-initializer-list-expression |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.coroutine-body-statement |
4 | ok |
ORACLE |
ORACLE | translation compile failed: translation.coroutine-body-statement.cpp:1:53: error: std::coroutine_traits type was not found; include before defining a coroutine 1 | struct Task { struct promise_type {}; }; Task f() { co_return; } | ^ 1 error generated. |
translation.attributed-statement |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.designated-initializer-expression |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.coreturn-statement |
4 | ok |
ORACLE |
ORACLE | translation compile failed: translation.coreturn-statement.cpp:1:74: error: std::coroutine_traits type was not found; include before defining a coroutine 1 | struct Task { struct promise_type { void return_void(); }; }; Task f() { co_return; } | ^ 1 error generated. |
translation.indirect-goto-statement |
4 | ok |
ORACLE |
ORACLE | translation compile failed: translation.indirect-goto-statement.cpp:1:29: error: use of GNU indirect-goto extension [-Werror,-Wgnu-label-as-value] 1 | void f(void* target) { goto target; } | ^ translation.indirect-goto-statement.cpp:1:24: error: indirect goto in function with no address-of-label expressions 1 | void f(void target) { goto *target; } | ^ 2 errors generated. |
translation.captured-statement |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-assume-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-error-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.openacc-compute-construct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.openacc-loop-construct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.openacc-combined-construct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.openacc-data-construct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.openacc-enter-data-construct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.openacc-exit-data-construct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.openacc-host-data-construct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.openacc-wait-construct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.openacc-init-construct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.openacc-shutdown-construct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.openacc-set-construct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.openacc-update-construct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.openacc-atomic-construct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.openacc-cache-construct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.openacc-asterisk-size-expression |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.hlsl-out-arg-expression |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-metadirective |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-tile-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-stripe-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-unroll-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-reverse-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-interchange-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-depobj-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-scan-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-parallel-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-simd-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-for-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-for-simd-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-sections-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-section-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-single-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-master-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-critical-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-task-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-taskloop-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-taskloop-simd-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-teams-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-cancellation-point-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-cancel-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-scope-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-masked-task-loop-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-masked-task-loop-simd-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-parallel-masked-task-loop-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-parallel-masked-task-loop-simd-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-teams-distribute-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-teams-distribute-simd-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-teams-distribute-parallel-for-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-teams-distribute-parallel-for-simd-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-target-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-target-data-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-target-enter-data-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-target-exit-data-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-target-parallel-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-target-parallel-for-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-target-parallel-for-simd-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-target-simd-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-target-teams-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-target-teams-distribute-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-target-teams-distribute-parallel-for-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-target-teams-distribute-parallel-for-simd-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-target-teams-distribute-simd-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-interop-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-dispatch-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-masked-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-parallel-masked-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-generic-loop-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-teams-generic-loop-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-target-teams-generic-loop-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-parallel-generic-loop-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-target-parallel-generic-loop-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-target-update-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-distribute-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-distribute-parallel-for-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-distribute-parallel-for-simd-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-distribute-simd-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-parallel-for-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-parallel-for-simd-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-parallel-sections-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-parallel-master-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-ordered-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-atomic-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-flush-directive |
4 | ok |
ORACLE |
ORACLE | translation compile failed: translation.omp-flush-directive.cpp:3:8: error: expected ';' after expression 3 | (value) | ^ | ; translation.omp-flush-directive.cpp:3:2: warning: expression result unused [-Wunused-value] 3 | (value) | ^~~~~ 1 warning and 1 error generated. |
translation.omp-barrier-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-taskwait-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-taskgroup-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-master-taskloop-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-master-taskloop-simd-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-parallel-master-taskloop-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-parallel-master-taskloop-simd-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.omp-taskyield-directive |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.conditional-operator-expression |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.call-expression |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.compound-assignment-operator |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.lambda-expression |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.array-subscript-expression |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.member-expression |
7 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.cxx-member-call-expression |
7 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.cxx-operator-call-expression |
8 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.compound-statement |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.return-statement |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.if-statement |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.while-statement |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.do-statement |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.for-statement |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.range-for-statement |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.switch-statement |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.declaration-statement |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.case-statement |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.default-statement |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.break-statement |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.continue-statement |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.null-statement |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.goto-statement |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.label-statement |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.label-declaration |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.cxx-try-statement |
10 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.cxx-catch-statement |
10 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.cxx-throw-expression |
10 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.variable-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.enum-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.typedef-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.type-alias-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.namespace-alias-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.using-directive-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.using-declaration |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.linkage-specification |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
translation.static-assertion |
0 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
object.automatic-lifetime |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
object.scope-exit |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
object.full-expression-temporary |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
object.temporary-lifetime-extension |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
object.materialized-integral-temporary |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
object.temporary-reference-binding |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
object.zero-initialization |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
object.static-local-frame |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
object.callable-static-local-persistence |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
object.thread-local-frame |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
object.callable-thread-local-persistence |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
object.callable-reverse-scope-cleanup |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
object.callable-default-then-assign |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
object.callable-fresh-loop-object |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
object.callable-nested-shadow |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
object.callable-sequential-locals |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
object.callable-temporary-reference-statement |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
object.callable-dynamic-local-statement |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
object.callable-static-local-statement |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
object.callable-thread-local-statement |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
object.storage-reuse |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
object.automatic-initialized |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
object.automatic-assignment |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
object.dynamic-storage |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
object.static-storage |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
object.thread-storage |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
object.default-initialization |
1 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
scalar.integral-conversion |
2 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
scalar.usual-arithmetic-conversion |
2 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.integral-operators |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.unary-and-shifts |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-prefix-increment |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-narrow-increment |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-narrow-decrement |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-unary-narrow |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-unary-complement |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-unary-logical-not |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-noexcept |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-unary-plus |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-bitwise-and |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-bitwise-or |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-bitwise-xor |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-multiplication |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-division |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-remainder |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-shift-left |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-shift-right |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-less-than |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-less-equal |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-equal |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-not-equal |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-greater-than |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-greater-equal |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-addition |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-subtraction |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-unary-minus |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-prefix-decrement |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-postfix-decrement |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.member-getter-call |
7 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.member-getter-dot-call |
7 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.member-getter-derived-call |
7 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.member-getter-cast-call |
7 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.member-enum-setter-call |
7 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.member-enum-getter-call |
7 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.member-getter-canonical-call |
7 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.member-getter-lvalue-cast-call |
7 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.member-getter-string-handle-call |
7 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.member-getter-bool-conversion-call |
7 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.member-getter-unsigned-char-conversion-call |
7 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.class-base-static-cast |
7 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.class-repeated-base-subobject |
7 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.class-private-base-access |
7 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.class-protected-base-access |
7 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.class-friend-base-access |
7 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.class-const-base-subobject |
7 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.class-mutable-const-base |
7 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.class-named-base-path |
7 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.class-nested-named-base-path |
7 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.record-member-alias-lifetime |
7 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-sizeof |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-alignof |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-bool-literal |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-false-bool-literal |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-character-literal |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-constant-expression |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-unsigned-integer-literal |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-nullptr-comparison |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-nullptr-inequality |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-c-style-cast |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-narrow-c-style-cast |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-postfix-comma |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-compound-assignment |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-assignment |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-usual-arithmetic |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-mixed-compound |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-mixed-comparison |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-mixed-shift |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-direct-call |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-direct-call-conversion |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-direct-call-parser |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-switch |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-if |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-while |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-do-while |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-for |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-null |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-void-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-goto-label |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-local-declaration |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-local-increment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-nested-block |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-loop-local-reentry |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-return-closes-frame |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-for-scope |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-continue-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-block-scope |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-return-cleanup |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-failure-retains-scope |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-parser-automatic-local |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-for-body-failure-retains-frame |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-return-failure-retains-frame |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-for-initializer-failure-retains-frame |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-switch-scope-failure |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-reads-parameter |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
declaration.callable-value-only-refusal |
5 | refuse |
NATIVE |
REFUSE | recorded refusal; native witness compiles |
declaration.callable-increment-refusal |
5 | refuse |
NATIVE |
REFUSE | recorded refusal; native witness compiles |
expression.callable-unknown-logical-refusal |
3 | refuse |
NATIVE |
REFUSE | recorded refusal; native witness compiles |
expression.callable-unknown-compound-refusal |
3 | refuse |
NATIVE |
REFUSE | recorded refusal; native witness compiles |
expression.callable-unknown-unary-refusal |
3 | refuse |
NATIVE |
REFUSE | recorded refusal; native witness compiles |
expression.callable-unknown-binary-refusal |
3 | refuse |
NATIVE |
REFUSE | recorded refusal; native witness compiles |
expression.callable-increment-refusal-precedes-read |
3 | refuse |
NATIVE |
REFUSE | recorded refusal; native witness compiles |
expression.callable-discarded-postfix-store |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-increment |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-short-increment-wrap |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-short-increment-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-short-decrement-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-short-decrement-wrap |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-short-postfix-return |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-short-postfix-return |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-short-increment-wrap |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-short-postfix-decrement |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-signed-char-increment-wrap |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-signed-char-decrement-wrap |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-signed-char-postfix-return |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-char-increment-wrap |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-char-decrement-wrap |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-char-postfix-return |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-signed-char-postfix-decrement |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-char-postfix-decrement |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-short-postfix-decrement |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-short-postfix-increment-mid-return |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-short-decrement-wrap |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-postfix-store |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-decrement |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-postfix-decrement-store |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-postfix-return |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-compound-wrap |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-short-compound-wrap |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-short-compound-add-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-char-compound-add-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-short-compound-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-char-compound-wrap |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-signed-char-compound-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-signed-char-compound-subtract-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-signed-char-compound-modulo-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-short-compound-subtract-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-short-compound-subtract-wrap |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-char-compound-subtract-wrap |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-short-compound-multiply-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-char-compound-multiply-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-short-compound-multiply-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-signed-char-compound-multiply-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-short-compound-divide-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-short-compound-modulo-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-short-compound-divide-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-short-compound-modulo-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-char-compound-divide-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-signed-char-compound-divide-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-char-compound-modulo-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-short-compound-bitand-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-short-compound-bitor-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-short-compound-bitxor-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-short-compound-bitand-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-short-compound-bitor-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-short-compound-bitxor-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-signed-char-compound-bitand-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-signed-char-compound-bitor-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-signed-char-compound-bitxor-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-char-compound-bitand-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-char-compound-bitor-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-char-compound-bitxor-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-short-compound-shift-left-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-short-compound-shift-right-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-short-compound-shift-left-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-short-compound-shift-right-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-signed-char-compound-shift-left-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-signed-char-compound-shift-right-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-char-compound-shift-left-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-char-compound-shift-right-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-int-compound-shift-left-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-int-compound-shift-right-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-int-compound-add-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-int-compound-subtract-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-int-compound-multiply-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-int-compound-divide-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-int-compound-modulo-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-int-compound-add-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-int-compound-subtract-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-int-compound-multiply-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-int-compound-divide-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-int-compound-modulo-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-int-compound-bitand-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-int-compound-bitor-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-int-compound-bitxor-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-int-compound-shift-left-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-int-compound-shift-right-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-long-long-compound-add-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-long-long-compound-subtract-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-long-long-compound-multiply-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-long-long-compound-divide-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-long-long-compound-modulo-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-long-long-compound-bitand-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-long-long-compound-bitor-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-long-long-compound-bitxor-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-long-long-compound-shift-left-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-long-long-compound-shift-right-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-long-compound-add-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-long-compound-subtract-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-long-compound-multiply-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-long-compound-divide-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-long-compound-modulo-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-long-compound-bitand-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-long-compound-bitor-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-long-compound-bitxor-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-long-compound-shift-left-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-long-compound-shift-right-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-long-compound-add-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-long-compound-subtract-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-long-compound-multiply-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-long-compound-divide-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-long-compound-modulo-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-long-compound-bitand-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-long-compound-bitor-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-long-compound-bitxor-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-long-compound-shift-left-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-long-compound-shift-right-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-long-long-compound-add-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-long-long-compound-subtract-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-long-long-compound-multiply-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-long-long-compound-divide-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-long-long-compound-modulo-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-long-long-compound-bitand-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-long-long-compound-bitor-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-long-long-compound-bitxor-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-long-long-compound-shift-left-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-long-long-compound-shift-right-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-int-compound-bitand-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-int-compound-bitor-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-int-compound-bitxor-mid |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-signed-overflow-retention |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-signed-postfix-overflow-retention |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-signed-decrement-overflow-retention |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-signed-postfix-decrement-overflow-retention |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-do-while |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-for-switch |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-fuel-exhaustion |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-self-initializer-failure |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
declaration.callable-reference-parameter |
5 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
declaration.callable-value-parameter-isolation |
5 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
declaration.callable-const-reference |
5 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
declaration.callable-uninitialized-reference-binding |
5 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
declaration.callable-local-reference |
5 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-conditional |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-logical-short-circuit |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-logical-or |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-logical-short-circuit |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-logical-or |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-conditional |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-comma |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-assignment |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unary-minus |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unary-complement |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unary-logical-not |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unary-plus |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-binary-add |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-binary-subtract |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-binary-multiply |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-binary-divide |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-binary-remainder |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-binary-bitand |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-binary-bitor |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-binary-bitxor |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-binary-shift-left |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-binary-shift-right |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-binary-less-than |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-binary-less-equal |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-binary-equal |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-binary-not-equal |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-binary-greater-than |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-binary-greater-equal |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-sizeof |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-alignof |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-integral-cast |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-narrow-integral-cast |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-noexcept |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-bool-literal |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-null-equality |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-null-inequality |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-integer-literal |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
expression.callable-frame-unsigned-integer-literal |
3 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-conditional |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-while |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-switch |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-for |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-break-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-goto |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-null |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-do-while-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-compound-assign |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-block-scope-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-void-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-conditional-no-else |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-switch-fallthrough |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-while-zero-iteration |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-for-initializer-body |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-for-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-for-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-do-while-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-while-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-declaration-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-increment-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-assignment-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-compound-assignment-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-post-increment-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-decrement-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-post-decrement-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-parameter-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-computed-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-chained-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-shadow-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-assignment-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-compound-assignment-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-increment-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-post-increment-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-decrement-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-post-decrement-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-computed-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-computed-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-do-while |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-do-while-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-do-while-single-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-do-while-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-do-while-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-do-while-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-for |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-for-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-for-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-for-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-for-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-for-zero |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-switch |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-switch-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-switch-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-switch-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-switch-fallthrough |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-conditional |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-conditional-else |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-conditional-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-conditional-else-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-conditional-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-conditional-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-conditional-else-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-conditional-else-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-conditional-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-conditional-else-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-switch-default |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-switch-default-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-switch-default-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-switch-default-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-switch-default-false-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-switch-default-false-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-while |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-while-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-while-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-while-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-while-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-while-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-shadow-computed-initialization-while-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-nested-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-conditional-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-conditional-initialization-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-conditional-else-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-conditional-else-initialization-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-zero-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-initialization-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-computed-initialization-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-computed-initialization-continue-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-computed-initialization-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-computed-initialization-break-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-computed-initialization-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-computed-initialization-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-initialization-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-initialization-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-zero-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-initialization-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-computed-initialization-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-computed-initialization-continue-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-computed-initialization-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-computed-initialization-break-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-initialization-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-initialization-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-single-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-initialization-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-computed-initialization-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-computed-initialization-continue-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-computed-initialization-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-computed-initialization-break-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-computed-initialization-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-computed-initialization-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-initialization-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-initialization-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-computed-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-computed-initialization-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-single-computed-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-shadow-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-shadow-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-shadow-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-shadow-initialization-assignment-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-shadow-computed-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-shadow-computed-initialization-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-shadow-computed-initialization-continue-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-shadow-computed-initialization-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-shadow-computed-initialization-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-shadow-computed-initialization-break-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-shadow-computed-initialization-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-shadow-computed-initialization-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-shadow-computed-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-shadow-computed-initialization-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-shadow-computed-initialization-single-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-shadow-computed-initialization-assignment-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-shadow-computed-initialization-assignment-continue-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-shadow-computed-initialization-assignment-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-shadow-computed-initialization-assignment-break-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-shadow-computed-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-shadow-computed-initialization-assignment-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-shadow-computed-initialization-zero |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-conditional-shadow-computed-initialization-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-conditional-else-shadow-computed-initialization-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-shadow-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-shadow-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-shadow-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-shadow-initialization-assignment-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-shadow-computed-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-shadow-computed-initialization-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-shadow-computed-initialization-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-shadow-computed-initialization-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-shadow-computed-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-shadow-computed-initialization-assignment-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-shadow-computed-initialization-assignment-continue-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-shadow-computed-initialization-assignment-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-shadow-computed-initialization-assignment-break-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-shadow-computed-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-shadow-computed-initialization-assignment-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-shadow-computed-initialization-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-shadow-computed-initialization-single-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-shadow-computed-initialization-single-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-shadow-computed-initialization-zero |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-shadow-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-shadow-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-shadow-initialization-assignment-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-shadow-computed-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-shadow-computed-initialization-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-shadow-computed-initialization-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-shadow-computed-initialization-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-shadow-computed-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-shadow-computed-initialization-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-shadow-computed-initialization-assignment-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-shadow-computed-initialization-assignment-continue-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-shadow-computed-initialization-assignment-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-shadow-computed-initialization-assignment-break-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-shadow-computed-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-shadow-computed-initialization-assignment-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-shadow-computed-initialization-single-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-initialization-direct-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-initialization-fallthrough |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-initialization-fallthrough-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-initialization-fallthrough-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-initialization-fallthrough-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-initialization-fallthrough-assignment-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-initialization-fallthrough-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-shadow-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-shadow-initialization-direct-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-shadow-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-shadow-initialization-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-initialization-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-switch-shadow-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-switch-shadow-initialization-assignment-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-switch-shadow-initialization-assignment-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-switch-shadow-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-switch-shadow-initialization-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-switch-shadow-initialization-fallthrough-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-switch-shadow-initialization-fallthrough-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-switch-default-shadow-initialization-fallthrough-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-switch-default-shadow-initialization-fallthrough-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-switch-default-shadow-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-switch-default-shadow-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-switch-default-shadow-initialization-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-switch-default-shadow-initialization-assignment-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-switch-default-shadow-initialization-assignment-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-switch-shadow-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-switch-shadow-initialization-assignment-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-switch-shadow-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-switch-shadow-initialization-assignment-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-switch-shadow-initialization-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-switch-shadow-initialization-fallthrough-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-switch-shadow-initialization-fallthrough-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-switch-default-shadow-initialization-fallthrough-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-switch-default-shadow-initialization-fallthrough-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-switch-default-shadow-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-switch-default-shadow-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-switch-default-shadow-initialization-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-switch-default-shadow-initialization-assignment-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-switch-default-shadow-initialization-assignment-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-switch-default-shadow-computed-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-switch-default-shadow-computed-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-switch-default-shadow-computed-initialization-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-switch-default-shadow-computed-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-switch-default-shadow-computed-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-switch-default-shadow-computed-initialization-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-switch-default-shadow-computed-initialization-fallthrough-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-switch-default-shadow-computed-initialization-fallthrough-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-switch-default-shadow-computed-initialization-assignment-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-switch-default-shadow-computed-initialization-assignment-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-switch-default-shadow-computed-initialization-fallthrough-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-switch-default-shadow-computed-initialization-fallthrough-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-switch-default-shadow-computed-initialization-assignment-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-switch-default-shadow-computed-initialization-assignment-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-switch-shadow-computed-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-switch-shadow-computed-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-switch-shadow-computed-initialization-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-switch-shadow-computed-initialization-fallthrough-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-switch-shadow-computed-initialization-fallthrough-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-switch-shadow-computed-initialization-assignment-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-switch-shadow-computed-initialization-assignment-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-switch-shadow-computed-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-switch-shadow-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-switch-shadow-initialization-assignment-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-switch-shadow-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-switch-shadow-initialization-assignment-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-switch-shadow-initialization-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-switch-default-shadow-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-switch-default-shadow-computed-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-switch-default-shadow-computed-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-switch-default-shadow-computed-initialization-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-switch-default-shadow-computed-initialization-fallthrough-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-switch-default-shadow-computed-initialization-fallthrough-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-switch-default-shadow-computed-initialization-assignment-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-switch-default-shadow-computed-initialization-assignment-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-switch-default-shadow-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-switch-default-shadow-initialization-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-switch-default-shadow-initialization-assignment-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-switch-default-shadow-initialization-assignment-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-switch-shadow-computed-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-switch-shadow-computed-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-switch-shadow-computed-initialization-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-switch-shadow-computed-initialization-assignment-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-switch-shadow-computed-initialization-assignment-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-switch-shadow-computed-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-switch-shadow-computed-initialization-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-switch-shadow-computed-initialization-fallthrough-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-switch-shadow-computed-initialization-fallthrough-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-switch-shadow-computed-initialization-assignment-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-switch-shadow-computed-initialization-assignment-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-switch-shadow-computed-initialization-fallthrough-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-switch-shadow-computed-initialization-fallthrough-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-switch-shadow-initialization-fallthrough-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-switch-shadow-initialization-fallthrough-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-switch-default-shadow-initialization-fallthrough-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-switch-default-shadow-initialization-fallthrough-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-initialization-assignment-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-initialization-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-initialization-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-shadow-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-shadow-initialization-assignment-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-shadow-initialization-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-shadow-initialization-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-shadow-initialization-fallthrough-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-shadow-initialization-fallthrough-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-shadow-initialization-fallthrough-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-shadow-initialization-fallthrough-assignment-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-computed-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-computed-initialization-direct-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-shadow-computed-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-shadow-computed-initialization-direct-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-shadow-computed-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-shadow-computed-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-shadow-computed-initialization-assignment-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-shadow-computed-initialization-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-shadow-computed-initialization-fallthrough-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-shadow-computed-initialization-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-shadow-computed-initialization-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-computed-initialization-fallthrough |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-computed-initialization-fallthrough-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-computed-initialization-fallthrough-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-computed-initialization-fallthrough-assignment-direct-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-computed-initialization-fallthrough-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-computed-initialization-fallthrough-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-computed-initialization-fallthrough-assignment-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-shadow-computed-initialization-fallthrough-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-shadow-computed-initialization-fallthrough-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-shadow-computed-initialization-fallthrough-assignment-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-computed-initialization-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-computed-initialization-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-computed-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-computed-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-computed-initialization-assignment-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-shadow-computed-initialization-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-conditional-shadow-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-conditional-shadow-computed-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-conditional-else-shadow-computed-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-conditional-shadow-computed-initialization-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-conditional-shadow-computed-initialization-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-conditional-else-shadow-computed-initialization-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-conditional-else-shadow-computed-initialization-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-conditional-shadow-computed-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-conditional-shadow-computed-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-conditional-else-shadow-computed-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-conditional-else-shadow-computed-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-conditional-else-shadow-computed-initialization-assignment-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-conditional-shadow-computed-initialization-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-conditional-else-shadow-computed-initialization-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-conditional-computed-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-conditional-computed-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-conditional-false-computed-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-conditional-else-computed-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-conditional-else-computed-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-conditional-else-computed-initialization-assignment-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-computed-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-computed-initialization-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-computed-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-computed-initialization-assignment-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-computed-initialization-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-zero-computed-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-computed-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-computed-initialization-direct-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-computed-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-computed-initialization-assignment-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-computed-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-computed-initialization-direct-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-computed-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-computed-initialization-assignment-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-initialization-direct-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-initialization-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-initialization-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-initialization-direct-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-initialization-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-initialization-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-initialization-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-initialization-assignment-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-initialization-assignment-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-switch-default-initialization-assignment-return-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-initialization-assignment-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-initialization-assignment-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-do-while-shadow-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-initialization-assignment |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-initialization-assignment-return |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-initialization-assignment-continue |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-for-initialization-assignment-break |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-computed-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-computed-initialization-false |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
statement.callable-frame-local-while-zero-computed-initialization-direct |
4 | ok |
NATIVE |
MATCH | Lean admission and Clang compilation agree |
tinyxml2.IsUTF8Continuation.negative |
2 | ok 1 |
ORACLE |
ORACLE | set LEANCPP_TINYXML2_DIR for the unchanged source |
tinyxml2.IsUTF8Continuation.minimum |
2 | ok 1 |
ORACLE |
ORACLE | set LEANCPP_TINYXML2_DIR for the unchanged source |
tinyxml2.IsUTF8Continuation.nonnegative |
2 | ok 0 |
ORACLE |
ORACLE | set LEANCPP_TINYXML2_DIR for the unchanged source |
tinyxml2.IsUTF8Continuation.zero |
2 | ok 0 |
ORACLE |
ORACLE | set LEANCPP_TINYXML2_DIR for the unchanged source |
One witness per listed Clang AST node kind, mapped to the charter rung. frontend records whether the pinned Clang AST contained the requested node; verdict is the Lean execution result.
| node kind | rung | frontend | verdict | detail |
|---|---|---|---|---|
TranslationUnitDecl |
0 | MATCH | REFUSE | translation execution is intentionally refused |
NamespaceDecl |
0 | MATCH | REFUSE | translation execution is intentionally refused |
FunctionDecl |
0 | MATCH | REFUSE | translation execution is intentionally refused |
ParmVarDecl |
5 | MATCH | REFUSE | translation execution is intentionally refused |
CompoundStmt |
4 | MATCH | REFUSE | translation execution is intentionally refused |
ReturnStmt |
4 | MATCH | REFUSE | translation execution is intentionally refused |
IntegerLiteral |
2 | MATCH | REFUSE | translation execution is intentionally refused |
BinaryOperator |
3 | MATCH | REFUSE | translation execution is intentionally refused |
UnaryOperator |
3 | MATCH | REFUSE | translation execution is intentionally refused |
IfStmt |
4 | MATCH | REFUSE | translation execution is intentionally refused |
WhileStmt |
4 | MATCH | REFUSE | translation execution is intentionally refused |
ForStmt |
4 | MATCH | REFUSE | translation execution is intentionally refused |
DeclStmt |
5 | MATCH | REFUSE | translation execution is intentionally refused |
VarDecl |
5 | MATCH | REFUSE | translation execution is intentionally refused |
CallExpr |
3 | MATCH | REFUSE | translation execution is intentionally refused |
CXXRecordDecl |
7 | MATCH | REFUSE | translation execution is intentionally refused |
FieldDecl |
7 | MATCH | REFUSE | translation execution is intentionally refused |
CXXMethodDecl |
7 | MATCH | REFUSE | translation execution is intentionally refused |
CXXConstructExpr |
7 | MATCH | REFUSE | translation execution is intentionally refused |
CXXBaseSpecifier |
7 | MATCH | REFUSE | translation execution is intentionally refused |
CXXTryStmt |
10 | MATCH | REFUSE | translation execution is intentionally refused |
CXXThrowExpr |
10 | MATCH | REFUSE | translation execution is intentionally refused |
LambdaExpr |
3 | MATCH | REFUSE | translation execution is intentionally refused |
ClassTemplateDecl |
9 | MATCH | REFUSE | translation execution is intentionally refused |
See the generated clause ladder and three-corpus census.