From 43fffe772a89537dfecea7e63352a03b922a0fbc Mon Sep 17 00:00:00 2001 From: Ouyancheng <1024842937@qq.com> Date: Mon, 28 Jun 2021 12:10:55 -0700 Subject: [PATCH] Further fix #6453 (#6804) There's one spot left in issue #6453, that is the call to `std::allocator::destroy` in `mkMetaKind`. And this commit fixes it. --- src/expr/mkmetakind | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/expr/mkmetakind b/src/expr/mkmetakind index 88208d776..f9b49fc0a 100755 --- a/src/expr/mkmetakind +++ b/src/expr/mkmetakind @@ -279,7 +279,7 @@ $3 const& NodeValue::getConst< $3 >() const { cname=`echo "$3" | awk 'BEGIN {FS="::"} {print$NF}'` metakind_constDeleters="${metakind_constDeleters} case kind::$1: - std::allocator< $3 >().destroy(reinterpret_cast< $3* >(nv->d_children)); + std::destroy_at(reinterpret_cast< $3* >(nv->d_children)); break; " } -- 2.30.2