From 530e0c153992599e137844c2285d0de7cc35187c Mon Sep 17 00:00:00 2001 From: Gert Wollny Date: Thu, 30 Nov 2023 13:43:11 +0100 Subject: [PATCH] r600/sfn: Don't try to re-use iterators when the set is made empty It seems with libc++ the iterators are invalidated when the set is emptied during iterating over it. Fixes: 05fab97 (r600/sfn: Don't try to re-use the iterator when uses is updated) Closes: https://gitlab.freedesktop.org/mesa/mesa/-/issues/7931 Signed-off-by: Gert Wollny Part-of: (cherry picked from commit c13de0509c43f9b9764dc939aa64fe70c6a80870) --- .pick_status.json | 2 +- src/gallium/drivers/r600/sfn/sfn_optimizer.cpp | 6 +++++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/.pick_status.json b/.pick_status.json index 12fcfdf..6952b34 100644 --- a/.pick_status.json +++ b/.pick_status.json @@ -494,7 +494,7 @@ "description": "r600/sfn: Don't try to re-use iterators when the set is made empty", "nominated": true, "nomination_type": 1, - "resolution": 0, + "resolution": 1, "main_sha": null, "because_sha": "05fab97b2ce8ebd8420ded175101a0fa5110172c", "notes": null diff --git a/src/gallium/drivers/r600/sfn/sfn_optimizer.cpp b/src/gallium/drivers/r600/sfn/sfn_optimizer.cpp index c4d0a9f..5038b94 100644 --- a/src/gallium/drivers/r600/sfn/sfn_optimizer.cpp +++ b/src/gallium/drivers/r600/sfn/sfn_optimizer.cpp @@ -375,7 +375,11 @@ CopyPropFwdVisitor::visit(AluInstr *instr) auto mov_block_id = instr->block_id(); - while(ii != ie) { + /** libc++ seems to invalidate the end iterator too if a std::set is + * made empty by an erase operation, + * https://gitlab.freedesktop.org/mesa/mesa/-/issues/7931 + */ + while(ii != ie && !dest->uses().empty()) { auto i = *ii; auto target_block_id = i->block_id(); -- 2.7.4