diff --git a/tests/libcxx/expected_results.txt b/tests/libcxx/expected_results.txt index 5eff18c8162..d61fbd35863 100644 --- a/tests/libcxx/expected_results.txt +++ b/tests/libcxx/expected_results.txt @@ -142,11 +142,6 @@ std/language.support/support.limits/support.limits.general/cstring.version.compi # libc++ has not implemented P3323R1: "Forbid atomic, Specify atomic_ref" std/atomics/atomics.ref/member_types.compile.pass.cpp FAIL -# Various bogosity (LLVM-D141004), warning C6011: Dereferencing NULL pointer -# Note: The :1 (ASan) configuration doesn't run static analysis. -std/utilities/utility/mem.res/mem.poly.allocator.class/mem.poly.allocator.mem/construct_pair_const_lvalue_pair.pass.cpp:0 FAIL -std/utilities/utility/mem.res/mem.poly.allocator.class/mem.poly.allocator.mem/construct_pair_values.pass.cpp:0 FAIL - # Various bogosity (LLVM-D141004) std/utilities/utility/mem.res/mem.res.pool/mem.res.pool.ctor/ctor_does_not_allocate.pass.cpp FAIL std/utilities/utility/mem.res/mem.res.pool/mem.res.pool.ctor/sync_with_default_resource.pass.cpp FAIL @@ -610,11 +605,6 @@ std/thread/thread.condition/notify_all_at_thread_exit_lwg3343.pass.cpp SKIPPED # *** C1XX COMPILER BUGS *** -# VSO-1271673 "static analyzer doesn't know about short-circuiting" -# Note: The :1 (ASan) configuration doesn't run static analysis. -std/algorithms/alg.sorting/alg.sort/partial.sort/partial_sort.pass.cpp:0 FAIL -std/algorithms/alg.sorting/alg.sort/partial.sort/partial_sort_comp.pass.cpp:0 FAIL - # DevCom-1436243 VSO-1335743 constexpr new initialized array std/utilities/smartptr/unique.ptr/unique.ptr.class/unique.ptr.modifiers/reset_self.pass.cpp:0 FAIL std/utilities/smartptr/unique.ptr/unique.ptr.class/unique.ptr.modifiers/reset_self.pass.cpp:1 FAIL @@ -639,11 +629,6 @@ std/utilities/variant/variant.relops/three_way.pass.cpp:1 FAIL std/algorithms/robust_re_difference_type.compile.pass.cpp:0 FAIL std/algorithms/robust_re_difference_type.compile.pass.cpp:1 FAIL -# DevCom-1638563 VSO-1457836: icky static analysis false positive -# Resolved wontfix, need to report again. -# Note: The :1 (ASan) configuration doesn't run static analysis. -std/language.support/support.coroutines/end.to.end/go.pass.cpp:0 FAIL - # DevCom-10026599 VSO-1532879: conditional expression has two different types std/concepts/concepts.compare/concept.equalitycomparable/equality_comparable_with.compile.pass.cpp:0 FAIL std/concepts/concepts.compare/concept.equalitycomparable/equality_comparable_with.compile.pass.cpp:1 FAIL @@ -1264,25 +1249,6 @@ std/utilities/format/format.range/format.range.fmtset/format.pass.cpp FAIL std/utilities/format/format.range/format.range.fmtstr/format.pass.cpp FAIL std/utilities/format/format.tuple/format.pass.cpp FAIL -# Not analyzed. Static analysis thinks that array indexing is out of bounds because it can't prove otherwise. -# warning C28020: The expression '_Param_(1)<1' is not true at this call. -# Note: The :1 (ASan) configuration doesn't run static analysis. -std/containers/views/mdspan/extents/ctor_default.pass.cpp:0 FAIL -std/containers/views/mdspan/extents/ctor_from_array.pass.cpp:0 FAIL -std/containers/views/mdspan/extents/ctor_from_integral.pass.cpp:0 FAIL -std/containers/views/mdspan/extents/ctor_from_span.pass.cpp:0 FAIL -std/containers/views/mdspan/layout_stride/comparison.pass.cpp:0 FAIL -std/containers/views/mdspan/layout_stride/ctor.strided_mapping.pass.cpp:0 FAIL -std/containers/views/mdspan/mdspan/conversion.pass.cpp:0 FAIL -std/containers/views/mdspan/mdspan/ctor.dh_array.pass.cpp:0 FAIL -std/containers/views/mdspan/mdspan/ctor.dh_span.pass.cpp:0 FAIL - -# Not analyzed. Apparent false positives from static analysis where it thinks `new (std::nothrow)` could return null, despite an assert(). -# warning C28182: Dereferencing NULL pointer. -# Note: The :1 (ASan) configuration doesn't run static analysis. -std/language.support/support.dynamic/new.delete/new.delete.array/new.size_align_nothrow.pass.cpp:0 FAIL -std/language.support/support.dynamic/new.delete/new.delete.array/new.size_nothrow.pass.cpp:0 FAIL - # Not analyzed, unexpected separators. Assertion failed: stream_fr_FR_locale(-1'000'000s) == SV("-1 000 000s") std/time/time.duration/time.duration.nonmember/ostream.pass.cpp FAIL @@ -1577,6 +1543,7 @@ std/containers/unord/unord.map/unord.map.modifiers/insert_range.pass.cpp:9 SKIPP std/containers/unord/unord.multimap/unord.multimap.modifiers/insert_range.pass.cpp:9 SKIPPED std/containers/unord/unord.multiset/insert_range.pass.cpp:9 SKIPPED std/containers/unord/unord.set/insert_range.pass.cpp:9 SKIPPED +std/containers/views/mdspan/mdspan/conversion.pass.cpp:9 SKIPPED std/depr/depr.c.headers/setjmp_h.compile.pass.cpp:9 SKIPPED std/input.output/file.streams/fstreams/ifstream.members/buffered_reads.pass.cpp:9 SKIPPED std/input.output/file.streams/fstreams/ofstream.members/buffered_writes.pass.cpp:9 SKIPPED diff --git a/tests/libcxx/usual_matrix.lst b/tests/libcxx/usual_matrix.lst index 72969ef33cc..73a362feafd 100644 --- a/tests/libcxx/usual_matrix.lst +++ b/tests/libcxx/usual_matrix.lst @@ -5,6 +5,6 @@ RUNALL_INCLUDE ..\universal_prefix.lst RUNALL_CROSSLIST * PM_CL="/EHsc /MTd /std:c++latest /permissive- /utf-8 /FImsvc_stdlib_force_include.h /wd4643" RUNALL_CROSSLIST -PM_CL="/analyze:autolog- /Zc:preprocessor /wd6262" +PM_CL="/Zc:preprocessor" ASAN PM_CL="-fsanitize=address /Zi" PM_LINK="/debug" PM_COMPILER="clang-cl" PM_CL="-fno-ms-compatibility -fno-delayed-template-parsing -Wno-unqualified-std-cast-call"