C++ front-end: support explicit type conversion with braced-init-list · diffblue/cbmc@83b210e · GitHub

Codecov / codecov/patch failed Jul 17, 2024 in 1s

75.91% of diff hit (target 78.32%)

View this Pull Request on Codecov

75.91% of diff hit (target 78.32%)

Annotations

Check warning on line 1320 in src/ansi-c/scanner.l

codecov / codecov/patch

src/ansi-c/scanner.l#L1319-L1320

Added lines #L1319 - L1320 were not covered by tests

Check warning on line 37 in src/cpp/cpp_storage_spec.cpp

codecov / codecov/patch

src/cpp/cpp_storage_spec.cpp#L37

Added line #L37 was not covered by tests

Check warning on line 97 in src/cpp/cpp_storage_spec.h

codecov / codecov/patch

src/cpp/cpp_storage_spec.h#L97

Added line #L97 was not covered by tests

Check warning on line 978 in src/cpp/cpp_typecheck_expr.cpp

codecov / codecov/patch

src/cpp/cpp_typecheck_expr.cpp#L978

Added line #L978 was not covered by tests

Check warning on line 1780 in src/cpp/cpp_typecheck_expr.cpp

codecov / codecov/patch

src/cpp/cpp_typecheck_expr.cpp#L1780

Added line #L1780 was not covered by tests

Check warning on line 1782 in src/cpp/cpp_typecheck_expr.cpp

codecov / codecov/patch

src/cpp/cpp_typecheck_expr.cpp#L1782

Added line #L1782 was not covered by tests

Check warning on line 1810 in src/cpp/cpp_typecheck_expr.cpp

codecov / codecov/patch

src/cpp/cpp_typecheck_expr.cpp#L1810

Added line #L1810 was not covered by tests

Check warning on line 1818 in src/cpp/cpp_typecheck_expr.cpp

codecov / codecov/patch

src/cpp/cpp_typecheck_expr.cpp#L1818

Added line #L1818 was not covered by tests

Check warning on line 1829 in src/cpp/cpp_typecheck_expr.cpp

codecov / codecov/patch

src/cpp/cpp_typecheck_expr.cpp#L1829

Added line #L1829 was not covered by tests

Check warning on line 1834 in src/cpp/cpp_typecheck_expr.cpp

codecov / codecov/patch

src/cpp/cpp_typecheck_expr.cpp#L1834

Added line #L1834 was not covered by tests

Check warning on line 367 in src/cpp/cpp_typecheck_resolve.cpp

codecov / codecov/patch

src/cpp/cpp_typecheck_resolve.cpp#L367

Added line #L367 was not covered by tests

Check warning on line 771 in src/cpp/parse.cpp

codecov / codecov/patch

src/cpp/parse.cpp#L768-L771

Added lines #L768 - L771 were not covered by tests

Check warning on line 1311 in src/cpp/parse.cpp

codecov / codecov/patch

src/cpp/parse.cpp#L1311

Added line #L1311 was not covered by tests

Check warning on line 2005 in src/cpp/parse.cpp

codecov / codecov/patch

src/cpp/parse.cpp#L2005

Added line #L2005 was not covered by tests

Check warning on line 2030 in src/cpp/parse.cpp

codecov / codecov/patch

src/cpp/parse.cpp#L2030

Added line #L2030 was not covered by tests

Check warning on line 2041 in src/cpp/parse.cpp

codecov / codecov/patch

src/cpp/parse.cpp#L2041

Added line #L2041 was not covered by tests

Check warning on line 4200 in src/cpp/parse.cpp

codecov / codecov/patch

src/cpp/parse.cpp#L4200

Added line #L4200 was not covered by tests

Check warning on line 4202 in src/cpp/parse.cpp

codecov / codecov/patch

src/cpp/parse.cpp#L4202

Added line #L4202 was not covered by tests

Check warning on line 4205 in src/cpp/parse.cpp

codecov / codecov/patch

src/cpp/parse.cpp#L4205

Added line #L4205 was not covered by tests

Check warning on line 4214 in src/cpp/parse.cpp

codecov / codecov/patch

src/cpp/parse.cpp#L4213-L4214

Added lines #L4213 - L4214 were not covered by tests

Check warning on line 4850 in src/cpp/parse.cpp

codecov / codecov/patch

src/cpp/parse.cpp#L4849-L4850

Added lines #L4849 - L4850 were not covered by tests

Check warning on line 4862 in src/cpp/parse.cpp

codecov / codecov/patch

src/cpp/parse.cpp#L4862

Added line #L4862 was not covered by tests

Check warning on line 4867 in src/cpp/parse.cpp

codecov / codecov/patch

src/cpp/parse.cpp#L4867

Added line #L4867 was not covered by tests

Check warning on line 5518 in src/cpp/parse.cpp

codecov / codecov/patch

src/cpp/parse.cpp#L5518

Added line #L5518 was not covered by tests

Check warning on line 6086 in src/cpp/parse.cpp

codecov / codecov/patch

src/cpp/parse.cpp#L6086

Added line #L6086 was not covered by tests

View more details on Codecov