Disable /analyze for libcxx (#5724)

Author: StephanTLavavej

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<cv T>, Specify atomic_ref<cv T>"
 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<CharT>(-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

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"