Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update llvm-project #4910

Merged
merged 14 commits into from
Aug 25, 2024
Merged

Update llvm-project #4910

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
2741d66
Update llvm-project.
StephanTLavavej Aug 23, 2024
c74669d
range.join tests are now passing.
StephanTLavavej Aug 23, 2024
a7ae7c9
LLVM-99375 implemented P1614R2.
StephanTLavavej Aug 23, 2024
0402eb6
LLVM-100504 was merged.
StephanTLavavej Aug 23, 2024
74ddc53
LLVM-100603 fixed LLVM-100498.
StephanTLavavej Aug 23, 2024
e6f6156
LLVM-101890 fixed LLVM-100502.
StephanTLavavej Aug 23, 2024
9456d63
LLVM-102032 fixed dereference.single.pass.cpp and deleted noexcept_op…
StephanTLavavej Aug 23, 2024
8d76803
Reported LLVM-105878.
StephanTLavavej Aug 23, 2024
8c5264c
MSVC's STL hasn't implemented P3107R5 yet; GH 4821 is in flight.
StephanTLavavej Aug 23, 2024
64a6ce7
Another occurrence of an MSVC constexpr bug.
StephanTLavavej Aug 23, 2024
f154637
Another occurrence of constexpr step limits, Clang-only this time.
StephanTLavavej Aug 23, 2024
102fe82
Add not-entirely-analyzed failures.
StephanTLavavej Aug 23, 2024
c0d5723
Product code fix: Use `addressof` to defend against hijacking in `bas…
StephanTLavavej Aug 23, 2024
a42ef8a
Reported LLVM-105966.
StephanTLavavej Aug 25, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion llvm-project
Open in desktop
Submodule llvm-project updated 9979 files
2 changes: 1 addition & 1 deletion stl/inc/ostream
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -100,7 +100,7 @@ public:
}

const auto _Tied = _Ostr.tie();
if (!_Tied || _Tied == &_Ostr) {
if (!_Tied || _Tied == _STD addressof(_Ostr)) {
_Ok = true;
return;
}
Expand Down
43 changes: 19 additions & 24 deletions tests/libcxx/expected_results.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -34,21 +34,16 @@ std/utilities/format/format.range/format.range.formatter/format.functions.vforma
std/utilities/format/format.range/format.range.fmtset/format.functions.format.pass.cpp FAIL
std/utilities/format/format.range/format.range.fmtset/format.functions.vformat.pass.cpp FAIL

# LLVM-100498: [libc++][test] alg.find.last tests assume that std::array iterators are pointers
std/algorithms/alg.nonmodifying/alg.find.last/ranges.find_last.pass.cpp FAIL
std/algorithms/alg.nonmodifying/alg.find.last/ranges.find_last_if.pass.cpp FAIL
std/algorithms/alg.nonmodifying/alg.find.last/ranges.find_last_if_not.pass.cpp FAIL

# LLVM-100502: [libc++][test] Bogus loops in time.cal.ymdlast.nonmembers/comparisons.pass.cpp
# Note: The :1 (ASAN) configuration doesn't run static analysis.
std/time/time.cal/time.cal.ymdlast/time.cal.ymdlast.nonmembers/comparisons.pass.cpp:0 FAIL

# LLVM-100504: [libc++][test] Fix Clang -Wunused-variable warnings in time.zone.members/to_sys.pass.cpp
std/time/time.zone/time.zone.timezone/time.zone.members/to_sys.pass.cpp:2 FAIL

# LLVM-100506: [libc++][test] Precondition violation in rand.dist.uni.real/param_ctor.pass.cpp
std/numerics/rand/rand.dist/rand.dist.uni/rand.dist.uni.real/param_ctor.pass.cpp FAIL

# LLVM-105878: [libc++][test] fp_compare.h includes non-portable <__config>
std/numerics/c.math/cmath.pass.cpp FAIL
std/numerics/numeric.ops/numeric.ops.midpoint/midpoint.float.pass.cpp FAIL

# LLVM-105966: [libc++][test] Fix is_always_lock_free test
std/atomics/atomics.lockfree/is_always_lock_free.cpp FAIL

# Non-Standard regex behavior.
# "It seems likely that the test is still non-conforming due to how libc++ handles the 'w' character class."
std/re/re.traits/lookup_classname.pass.cpp FAIL
Expand Down Expand Up @@ -85,9 +80,6 @@ std/numerics/rand/rand.util/rand.util.canonical/generate_canonical.pass.cpp FAIL
# Test expects __cpp_lib_chrono to have the old value 201611L for P0505R0; we define the C++20 value 201907L for P1466R3.
std/language.support/support.limits/support.limits.general/chrono.version.compile.pass.cpp FAIL

# Test expects __cpp_lib_three_way_comparison to have the old value 201711L for P0768R1; we define the C++20 value 201907L for P1614R2.
std/language.support/support.limits/support.limits.general/compare.version.compile.pass.cpp FAIL

# Tests expect __cpp_lib_ranges to have the old value 201811L for P0896R4; we define the C++20 value 201911L for P1716R3.
std/language.support/support.limits/support.limits.general/algorithm.version.compile.pass.cpp FAIL
std/language.support/support.limits/support.limits.general/functional.version.compile.pass.cpp FAIL
Expand Down Expand Up @@ -244,6 +236,9 @@ std/language.support/support.limits/support.limits.general/cstdlib.version.compi
# P2255R2 "Type Traits To Detect References Binding To Temporaries"
std/language.support/support.limits/support.limits.general/type_traits.version.compile.pass.cpp FAIL

# P3107R5 "Permit An Efficient Implementation Of <print>"
std/utilities/format/format.formatter/format.formatter.locking/enable_nonlocking_formatter_optimization.compile.pass.cpp FAIL


# *** MISSING COMPILER FEATURES ***
# P1169R4 static operator()
Expand Down Expand Up @@ -845,6 +840,8 @@ std/algorithms/robust_against_proxy_iterators_lifetime_bugs.pass.cpp FAIL

# Not analyzed. Possible MSVC constexpr bug.
# note: failure was caused by a read of a variable outside its lifetime
std/algorithms/alg.nonmodifying/alg.find.last/ranges.find_last.pass.cpp:0 FAIL
std/algorithms/alg.nonmodifying/alg.find.last/ranges.find_last.pass.cpp:1 FAIL
std/containers/sequences/vector.bool/construct_iter_iter.pass.cpp:0 FAIL
std/containers/sequences/vector.bool/construct_iter_iter.pass.cpp:1 FAIL
std/containers/sequences/vector.bool/construct_iter_iter_alloc.pass.cpp:0 FAIL
Expand Down Expand Up @@ -938,6 +935,7 @@ std/thread/thread.mutex/thread.mutex.requirements/thread.sharedtimedmutex.requir
std/utilities/utility/mem.res/mem.poly.allocator.class/mem.poly.allocator.mem/construct_piecewise_pair_evil.pass.cpp FAIL

# Not analyzed, failing due to constexpr step limits.
std/algorithms/alg.nonmodifying/alg.contains/ranges.contains_subrange.pass.cpp:2 FAIL
std/algorithms/alg.nonmodifying/alg.count/count.pass.cpp FAIL
std/algorithms/alg.nonmodifying/alg.count/ranges.count.pass.cpp FAIL
std/containers/sequences/vector.bool/append_range.pass.cpp FAIL
Expand Down Expand Up @@ -1045,11 +1043,6 @@ std/algorithms/alg.modifying.operations/alg.move/ranges.move_backward.segmented.
std/algorithms/alg.modifying.operations/alg.move/ranges.move.segmented.pass.cpp:0 FAIL
std/algorithms/alg.modifying.operations/alg.move/ranges.move.segmented.pass.cpp:1 FAIL

# Not analyzed. constexpr evaluation fails with note: subobject '_Val' is not initialized
std/ranges/range.adaptors/range.join/end.pass.cpp:2 FAIL
std/ranges/range.adaptors/range.join/range.join.sentinel/ctor.parent.pass.cpp:2 FAIL
std/ranges/range.adaptors/range.join/range.join.sentinel/eq.pass.cpp:2 FAIL

# Not analyzed. constexpr evaluation fails with note: failure was caused by out of range index MEOW; allowed range is 0 <= index < 2
std/ranges/range.adaptors/range.join/adaptor.pass.cpp:0 FAIL
std/ranges/range.adaptors/range.join/adaptor.pass.cpp:1 FAIL
Expand Down Expand Up @@ -1241,10 +1234,6 @@ std/atomics/atomics.ref/operator_plus_equals.pass.cpp SKIPPED
std/atomics/atomics.ref/store.pass.cpp SKIPPED
std/atomics/atomics.ref/wait.pass.cpp SKIPPED

# Not analyzed. Attempting to dereference `void *`.
std/utilities/memory/unique.ptr/noexcept_operator_star.compile.pass.cpp FAIL
std/utilities/smartptr/unique.ptr/unique.ptr.class/unique.ptr.observers/dereference.single.pass.cpp FAIL

# Not analyzed. Attempting to delete `nullptr_t`.
std/utilities/memory/util.smartptr/util.smartptr.shared/util.smartptr.shared.const/pointer_deleter.pass.cpp FAIL

Expand All @@ -1268,6 +1257,12 @@ std/containers/sequences/vector/vector.capacity/shrink_to_fit.pass.cpp FAIL
# Clang assertion: std::hermite(n, +inf) == inf
std/numerics/c.math/hermite.pass.cpp FAIL

# Not analyzed. Test coverage for LLVM-104496 uses span<Incomplete>.
std/containers/views/views.span/span.cons/copy.pass.cpp FAIL

# Not analyzed. LLVM-103409 added a test to verify that std::optional's internal constructors aren't visible to users.
std/utilities/optional/optional.object/optional.object.ctor/gh_101960_internal_ctor.compile.pass.cpp FAIL


# *** XFAILs WHICH PASS ***
# These tests contain `// XFAIL: msvc` comments, which accurately describe runtime failures for x86 and x64.
Expand Down