Some compiler warnings #656
Description
A bunch of compiler warnings I got from c++ (Debian 12.2.0-14) 12.2.0.
Dumping them here for further investigation.
Note: I think 2 and 3 contain multiple warnings, but I couldn't find where they ended.
In file included from /home/mhajdu/vampire/Kernel/UnificationWithAbstraction.cpp:27:
/home/mhajdu/vampire/Kernel/RobSubstitution.hpp: In member function 'Kernel::TermSpec Kernel::RobSubstitution::createTermFromIter(unsigned int, Iter) [with Iter = Lib::IterTraits<Lib::MappingIterator<Lib::RangeIterator<long unsigned int>, Lib::arrayIter<Stack<Kernel::TermSpec>, long unsigned int>(Stack<Kernel::TermSpec>&&, long unsigned int)::<lambda(auto:56)>, Kernel::TermSpec> >]':
/home/mhajdu/vampire/Kernel/RobSubstitution.hpp:374:9: warning: '*(int*)((char*)&index + offsetof(Lib::Option<int>,Lib::Option<int>::<unnamed>.Lib::OptionBase<int>::_elem.Lib::MaybeUninit<int>::_elem))' may be used uninitialized [-Wmaybe-uninitialized]
374 | if (arg.index == *index) {
| ^~
/home/mhajdu/vampire/Kernel/RobSubstitution.hpp:357:17: note: '*(int*)((char*)&index + offsetof(Lib::Option<int>,Lib::Option<int>::<unnamed>.Lib::OptionBase<int>::_elem.Lib::MaybeUninit<int>::_elem))' was declared here
357 | Option<int> index;
| ^~~~~
In file included from /home/mhajdu/vampire/Lib/List.hpp:47,
from /home/mhajdu/vampire/Kernel/Unit.hpp:22,
from /home/mhajdu/vampire/Lib/Hash.hpp:23,
from /home/mhajdu/vampire/Lib/DHMap.hpp:29,
from /home/mhajdu/vampire/Lib/Environment.hpp:24,
from /home/mhajdu/vampire/Inferences/EqualityFactoring.cpp:17:
In destructor 'Lib::VirtualIterator<T>::~VirtualIterator() [with T = std::pair<std::pair<Kernel::Literal*, Kernel::TermList>, std::pair<Kernel::Literal*, Kernel::TermList> >]',
inlined from 'Lib::FlatteningIterator<Master>::FlatteningIterator(Master) [with Master = Lib::MappingIterator<Lib::FlatteningIterator<Lib::MappingIterator<Lib::FilteredIterator<Lib::IterTraits<Lib::MappingIterator<Lib::RangeIterator<unsigned int>, Lib::arrayIter<Kernel::Clause, unsigned int>(Kernel::Clause&, unsigned int)::<lambda(auto:55)>, Kernel::Literal*&> >, Inferences::EqualityFactoring::IsPositiveEqualityFn, false>, Kernel::EqHelper::LHSIteratorFn, Lib::VirtualIterator<std::pair<Kernel::Literal*, Kernel::TypedTermList> > > >, Inferences::EqualityFactoring::FactorablePairsFn, Lib::VirtualIterator<std::pair<std::pair<Kernel::Literal*, Kernel::TermList>, std::pair<Kernel::Literal*, Kernel::TermList> > > >]' at /home/mhajdu/vampire/Lib/Metaiterators.hpp:606:5,
inlined from 'Lib::FlatMapIter<Inner, Functor> Lib::getMapAndFlattenIterator(Inner, Functor) [with Inner = FlatteningIterator<MappingIterator<FilteredIterator<IterTraits<MappingIterator<RangeIterator<unsigned int>, arrayIter<Kernel::Clause, unsigned int>(Kernel::Clause&, unsigned int)::<lambda(auto:55)>, Kernel::Literal*&> >, Inferences::EqualityFactoring::IsPositiveEqualityFn, false>, Kernel::EqHelper::LHSIteratorFn, VirtualIterator<std::pair<Kernel::Literal*, Kernel::TypedTermList> > > >; Functor = Inferences::EqualityFactoring::FactorablePairsFn]' at /home/mhajdu/vampire/Lib/Metaiterators.hpp:669:53,
inlined from 'virtual Kernel::ClauseIterator Inferences::EqualityFactoring::generateClauses(Kernel::Clause*)' at /home/mhajdu/vampire/Inferences/EqualityFactoring.cpp:205:69:
/home/mhajdu/vampire/Lib/VirtualIterator.hpp:173:16: warning: pointer used after 'void operator delete(void*, std::align_val_t)' [-Wuse-after-free]
173 | _core->_refCnt--;
| ~~~~~~~^~~~~~~
In file included from /home/mhajdu/vampire/Lib/DHMap.hpp:27:
In member function 'void Lib::SmallObjectAllocator::free(void*, size_t, size_t)',
inlined from 'void Lib::SmallObjectAllocator::free(void*, size_t, size_t)' at /home/mhajdu/vampire/Lib/Allocator.hpp:192:15,
inlined from 'void Lib::free(void*, size_t, size_t)' at /home/mhajdu/vampire/Lib/Allocator.hpp:263:37,
inlined from 'static void Lib::ProxyIterator<T, Inner>::operator delete(void*, size_t) [with T = std::pair<std::pair<Kernel::Literal*, Kernel::TermList>, std::pair<Kernel::Literal*, Kernel::TermList> >; Inner = Lib::MappingIterator<Lib::FlatteningIterator<Lib::MappingIterator<Lib::FilteredIterator<Lib::IterTraits<Lib::MappingIterator<Lib::RangeIterator<unsigned int>, Lib::arrayIter<Kernel::Clause, unsigned int>(Kernel::Clause&, unsigned int)::<lambda(auto:55)>, Kernel::Literal*&> >, Inferences::EqualityFactoring::IsDifferentPositiveEqualityFn, false>, Kernel::EqHelper::EqualityArgumentIteratorFn, Lib::VirtualIterator<std::pair<Kernel::Literal*, Kernel::TermList> > > >, Lib::PairRightPushingFn<std::pair<Kernel::Literal*, Kernel::TermList>, std::pair<Kernel::Literal*, Kernel::TermList> >, std::pair<std::pair<Kernel::Literal*, Kernel::TermList>, std::pair<Kernel::Literal*, Kernel::TermList> > >]' at /home/mhajdu/vampire/Lib/VirtualIterator.hpp:298:3,
inlined from 'Lib::ProxyIterator<T, Inner>::~ProxyIterator() [with T = std::pair<std::pair<Kernel::Literal*, Kernel::TermList>, std::pair<Kernel::Literal*, Kernel::TermList> >; Inner = Lib::MappingIterator<Lib::FlatteningIterator<Lib::MappingIterator<Lib::FilteredIterator<Lib::IterTraits<Lib::MappingIterator<Lib::RangeIterator<unsigned int>, Lib::arrayIter<Kernel::Clause, unsigned int>(Kernel::Clause&, unsigned int)::<lambda(auto:55)>, Kernel::Literal*&> >, Inferences::EqualityFactoring::IsDifferentPositiveEqualityFn, false>, Kernel::EqHelper::EqualityArgumentIteratorFn, Lib::VirtualIterator<std::pair<Kernel::Literal*, Kernel::TermList> > > >, Lib::PairRightPushingFn<std::pair<Kernel::Literal*, Kernel::TermList>, std::pair<Kernel::Literal*, Kernel::TermList> >, std::pair<std::pair<Kernel::Literal*, Kernel::TermList>, std::pair<Kernel::Literal*, Kernel::TermList> > >]' at /home/mhajdu/vampire/Lib/VirtualIterator.hpp:300:38,
inlined from 'Lib::VirtualIterator<T>::~VirtualIterator() [with T = std::pair<std::pair<Kernel::Literal*, Kernel::TermList>, std::pair<Kernel::Literal*, Kernel::TermList> >]' at /home/mhajdu/vampire/Lib/VirtualIterator.hpp:175:4,
inlined from 'constexpr Lib::OptionBase<A>::OptionBase(A&&) [with A = Lib::VirtualIterator<std::pair<std::pair<Kernel::Literal*, Kernel::TermList>, std::pair<Kernel::Literal*, Kernel::TermList> > >]' at /home/mhajdu/vampire/Lib/Option.hpp:136:3,
inlined from 'constexpr Lib::Option<Lib::VirtualIterator<std::pair<std::pair<Kernel::Literal*, Kernel::TermList>, std::pair<Kernel::Literal*, Kernel::TermList> > > >::Option(Lib::VirtualIterator<std::pair<std::pair<Kernel::Literal*, Kernel::TermList>, std::pair<Kernel::Literal*, Kernel::TermList> > >&&) [inherited from Lib::OptionBase<Lib::VirtualIterator<std::pair<std::pair<Kernel::Literal*, Kernel::TermList>, std::pair<Kernel::Literal*, Kernel::TermList> > > >]' at /home/mhajdu/vampire/Lib/Option.hpp:264:24,
inlined from 'Lib::FlatteningIterator<Master>::FlatteningIterator(Master) [with Master = Lib::MappingIterator<Lib::FlatteningIterator<Lib::MappingIterator<Lib::FilteredIterator<Lib::IterTraits<Lib::MappingIterator<Lib::RangeIterator<unsigned int>, Lib::arrayIter<Kernel::Clause, unsigned int>(Kernel::Clause&, unsigned int)::<lambda(auto:55)>, Kernel::Literal*&> >, Inferences::EqualityFactoring::IsPositiveEqualityFn, false>, Kernel::EqHelper::LHSIteratorFn, Lib::VirtualIterator<std::pair<Kernel::Literal*, Kernel::TypedTermList> > > >, Inferences::EqualityFactoring::FactorablePairsFn, Lib::VirtualIterator<std::pair<std::pair<Kernel::Literal*, Kernel::TermList>, std::pair<Kernel::Literal*, Kernel::TermList> > > >]' at /home/mhajdu/vampire/Lib/Metaiterators.hpp:606:5,
inlined from 'Lib::FlatMapIter<Inner, Functor> Lib::getMapAndFlattenIterator(Inner, Functor) [with Inner = FlatteningIterator<MappingIterator<FilteredIterator<IterTraits<MappingIterator<RangeIterator<unsigned int>, arrayIter<Kernel::Clause, unsigned int>(Kernel::Clause&, unsigned int)::<lambda(auto:55)>, Kernel::Literal*&> >, Inferences::EqualityFactoring::IsPositiveEqualityFn, false>, Kernel::EqHelper::LHSIteratorFn, VirtualIterator<std::pair<Kernel::Literal*, Kernel::TypedTermList> > > >; Functor = Inferences::EqualityFactoring::FactorablePairsFn]' at /home/mhajdu/vampire/Lib/Metaiterators.hpp:669:53,
inlined from 'virtual Kernel::ClauseIterator Inferences::EqualityFactoring::generateClauses(Kernel::Clause*)' at /home/mhajdu/vampire/Inferences/EqualityFactoring.cpp:205:69:
/home/mhajdu/vampire/Lib/Allocator.hpp:211:22: note: call to 'void operator delete(void*, std::align_val_t)' here
211 | ::operator delete(pointer, (std::align_val_t)align);
| ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In destructor 'Lib::VirtualIterator<T>::~VirtualIterator() [with T = std::pair<std::pair<Kernel::Literal*, Kernel::TermList>, std::pair<Kernel::Literal*, Kernel::TermList> >]',
inlined from 'Lib::FlatteningIterator<Master>::FlatteningIterator(Master) [with Master = Lib::MappingIterator<Lib::FlatteningIterator<Lib::MappingIterator<Lib::FilteredIterator<Lib::IterTraits<Lib::MappingIterator<Lib::RangeIterator<unsigned int>, Lib::arrayIter<Kernel::Clause, unsigned int>(Kernel::Clause&, unsigned int)::<lambda(auto:55)>, Kernel::Literal*&> >, Inferences::EqualityFactoring::IsPositiveEqualityFn, false>, Kernel::EqHelper::LHSIteratorFn, Lib::VirtualIterator<std::pair<Kernel::Literal*, Kernel::TypedTermList> > > >, Inferences::EqualityFactoring::FactorablePairsFn, Lib::VirtualIterator<std::pair<std::pair<Kernel::Literal*, Kernel::TermList>, std::pair<Kernel::Literal*, Kernel::TermList> > > >]' at /home/mhajdu/vampire/Lib/Metaiterators.hpp:606:5,
inlined from 'Lib::FlatMapIter<Inner, Functor> Lib::getMapAndFlattenIterator(Inner, Functor) [with Inner = FlatteningIterator<MappingIterator<FilteredIterator<IterTraits<MappingIterator<RangeIterator<unsigned int>, arrayIter<Kernel::Clause, unsigned int>(Kernel::Clause&, unsigned int)::<lambda(auto:55)>, Kernel::Literal*&> >, Inferences::EqualityFactoring::IsPositiveEqualityFn, false>, Kernel::EqHelper::LHSIteratorFn, VirtualIterator<std::pair<Kernel::Literal*, Kernel::TypedTermList> > > >; Functor = Inferences::EqualityFactoring::FactorablePairsFn]' at /home/mhajdu/vampire/Lib/Metaiterators.hpp:669:53,
inlined from 'virtual Kernel::ClauseIterator Inferences::EqualityFactoring::generateClauses(Kernel::Clause*)' at /home/mhajdu/vampire/Inferences/EqualityFactoring.cpp:205:69:
/home/mhajdu/vampire/Lib/VirtualIterator.hpp:173:16: warning: pointer used after 'void operator delete(void*, std::align_val_t)' [-Wuse-after-free]
173 | _core->_refCnt--;
| ~~~~~~~^~~~~~~
In member function 'void Lib::SmallObjectAllocator::free(void*, size_t, size_t)',
inlined from 'void Lib::SmallObjectAllocator::free(void*, size_t, size_t)' at /home/mhajdu/vampire/Lib/Allocator.hpp:192:15,
inlined from 'void Lib::free(void*, size_t, size_t)' at /home/mhajdu/vampire/Lib/Allocator.hpp:263:37,
inlined from 'static void Lib::ProxyIterator<T, Inner>::operator delete(void*, size_t) [with T = std::pair<std::pair<Kernel::Literal*, Kernel::TermList>, std::pair<Kernel::Literal*, Kernel::TermList> >; Inner = Lib::MappingIterator<Lib::FlatteningIterator<Lib::MappingIterator<Lib::FilteredIterator<Lib::IterTraits<Lib::MappingIterator<Lib::RangeIterator<unsigned int>, Lib::arrayIter<Kernel::Clause, unsigned int>(Kernel::Clause&, unsigned int)::<lambda(auto:55)>, Kernel::Literal*&> >, Inferences::EqualityFactoring::IsDifferentPositiveEqualityFn, false>, Kernel::EqHelper::EqualityArgumentIteratorFn, Lib::VirtualIterator<std::pair<Kernel::Literal*, Kernel::TermList> > > >, Lib::PairRightPushingFn<std::pair<Kernel::Literal*, Kernel::TermList>, std::pair<Kernel::Literal*, Kernel::TermList> >, std::pair<std::pair<Kernel::Literal*, Kernel::TermList>, std::pair<Kernel::Literal*, Kernel::TermList> > >]' at /home/mhajdu/vampire/Lib/VirtualIterator.hpp:298:3,
inlined from 'Lib::ProxyIterator<T, Inner>::~ProxyIterator() [with T = std::pair<std::pair<Kernel::Literal*, Kernel::TermList>, std::pair<Kernel::Literal*, Kernel::TermList> >; Inner = Lib::MappingIterator<Lib::FlatteningIterator<Lib::MappingIterator<Lib::FilteredIterator<Lib::IterTraits<Lib::MappingIterator<Lib::RangeIterator<unsigned int>, Lib::arrayIter<Kernel::Clause, unsigned int>(Kernel::Clause&, unsigned int)::<lambda(auto:55)>, Kernel::Literal*&> >, Inferences::EqualityFactoring::IsDifferentPositiveEqualityFn, false>, Kernel::EqHelper::EqualityArgumentIteratorFn, Lib::VirtualIterator<std::pair<Kernel::Literal*, Kernel::TermList> > > >, Lib::PairRightPushingFn<std::pair<Kernel::Literal*, Kernel::TermList>, std::pair<Kernel::Literal*, Kernel::TermList> >, std::pair<std::pair<Kernel::Literal*, Kernel::TermList>, std::pair<Kernel::Literal*, Kernel::TermList> > >]' at /home/mhajdu/vampire/Lib/VirtualIterator.hpp:300:38,
inlined from 'Lib::VirtualIterator<T>::~VirtualIterator() [with T = std::pair<std::pair<Kernel::Literal*, Kernel::TermList>, std::pair<Kernel::Literal*, Kernel::TermList> >]' at /home/mhajdu/vampire/Lib/VirtualIterator.hpp:175:4,
inlined from 'Lib::FlatteningIterator<Master>::FlatteningIterator(Master) [with Master = Lib::MappingIterator<Lib::FlatteningIterator<Lib::MappingIterator<Lib::FilteredIterator<Lib::IterTraits<Lib::MappingIterator<Lib::RangeIterator<unsigned int>, Lib::arrayIter<Kernel::Clause, unsigned int>(Kernel::Clause&, unsigned int)::<lambda(auto:55)>, Kernel::Literal*&> >, Inferences::EqualityFactoring::IsPositiveEqualityFn, false>, Kernel::EqHelper::LHSIteratorFn, Lib::VirtualIterator<std::pair<Kernel::Literal*, Kernel::TypedTermList> > > >, Inferences::EqualityFactoring::FactorablePairsFn, Lib::VirtualIterator<std::pair<std::pair<Kernel::Literal*, Kernel::TermList>, std::pair<Kernel::Literal*, Kernel::TermList> > > >]' at /home/mhajdu/vampire/Lib/Metaiterators.hpp:606:5,
inlined from 'Lib::FlatMapIter<Inner, Functor> Lib::getMapAndFlattenIterator(Inner, Functor) [with Inner = FlatteningIterator<MappingIterator<FilteredIterator<IterTraits<MappingIterator<RangeIterator<unsigned int>, arrayIter<Kernel::Clause, unsigned int>(Kernel::Clause&, unsigned int)::<lambda(auto:55)>, Kernel::Literal*&> >, Inferences::EqualityFactoring::IsPositiveEqualityFn, false>, Kernel::EqHelper::LHSIteratorFn, VirtualIterator<std::pair<Kernel::Literal*, Kernel::TypedTermList> > > >; Functor = Inferences::EqualityFactoring::FactorablePairsFn]' at /home/mhajdu/vampire/Lib/Metaiterators.hpp:669:53,
inlined from 'virtual Kernel::ClauseIterator Inferences::EqualityFactoring::generateClauses(Kernel::Clause*)' at /home/mhajdu/vampire/Inferences/EqualityFactoring.cpp:205:69:
/home/mhajdu/vampire/Lib/Allocator.hpp:211:22: note: call to 'void operator delete(void*, std::align_val_t)' here
211 | ::operator delete(pointer, (std::align_val_t)align);
| ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /home/mhajdu/vampire/Lib/DHMap.hpp:27,
from /home/mhajdu/vampire/Lib/DHSet.hpp:21,
from /home/mhajdu/vampire/Saturation/SaturationAlgorithm.cpp:16:
In member function 'void Lib::FixedSizeAllocator<SIZE>::free(void*) [with long unsigned int SIZE = 8]',
inlined from 'void Lib::SmallObjectAllocator::free(void*, size_t, size_t)' at /home/mhajdu/vampire/Lib/Allocator.hpp:199:23,
inlined from 'void Lib::free(void*, size_t, size_t)' at /home/mhajdu/vampire/Lib/Allocator.hpp:263:37,
inlined from 'static void Lib::SmartPtr<T>::RefCounter::operator delete(void*, size_t) [with T = Indexing::IndexManager]' at /home/mhajdu/vampire/Lib/SmartPtr.hpp:35:5,
inlined from 'Lib::SmartPtr<T>::~SmartPtr() [with T = Indexing::IndexManager]' at /home/mhajdu/vampire/Lib/SmartPtr.hpp:71:7,
inlined from 'static Saturation::SaturationAlgorithm* Saturation::SaturationAlgorithm::createFromOptions(Kernel::Problem&, const Shell::Options&, Indexing::IndexManager*)' at /home/mhajdu/vampire/Saturation/SaturationAlgorithm.cpp:1412:18:
/home/mhajdu/vampire/Lib/Allocator.hpp:134:11: warning: array subscript 'void*[0]' is partly outside array bounds of 'unsigned char [4]' [-Warray-bounds]
134 | *head = free_list;
| ~~~~~~^~~~~~~~~~~
In function 'void* Lib::alloc(size_t, size_t)',
inlined from 'static void* Lib::SmartPtr<T>::RefCounter::operator new(size_t) [with T = Indexing::IndexManager]' at /home/mhajdu/vampire/Lib/SmartPtr.hpp:35:5,
inlined from 'Lib::SmartPtr<T>::SmartPtr(T*, bool) [with T = Indexing::IndexManager]' at /home/mhajdu/vampire/Lib/SmartPtr.hpp:52:44,
inlined from 'static Saturation::SaturationAlgorithm* Saturation::SaturationAlgorithm::createFromOptions(Kernel::Problem&, const Shell::Options&, Indexing::IndexManager*)' at /home/mhajdu/vampire/Saturation/SaturationAlgorithm.cpp:1412:18:
/home/mhajdu/vampire/Lib/Allocator.hpp:243:45: note: object of size 4 allocated by 'Lib::SmallObjectAllocator::alloc'
243 | return GLOBAL_SMALL_OBJECT_ALLOCATOR.alloc(size, align);
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~
In file included from /home/mhajdu/vampire/Lib/List.hpp:47,
from /home/mhajdu/vampire/Lib/Event.hpp:19,
from /home/mhajdu/vampire/Indexing/Index.hpp:21,
from /home/mhajdu/vampire/Indexing/IndexManager.cpp:15:
In copy constructor 'Lib::VirtualIterator<T>::VirtualIterator(const Lib::VirtualIterator<T>&) [with T = Indexing::LiteralClause*]',
inlined from 'void Lib::MaybeUninit<T>::init(T&&) [with T = Lib::VirtualIterator<Indexing::LiteralClause*>]' at /home/mhajdu/vampire/Lib/Option.hpp:93:3,
inlined from 'Lib::OptionBase<A>::OptionBase(Lib::OptionBase<A>&&) [with A = Lib::VirtualIterator<Indexing::LiteralClause*>]' at /home/mhajdu/vampire/Lib/Option.hpp:136:3,
inlined from 'Lib::Option<Lib::VirtualIterator<Indexing::LiteralClause*> >::Option(Lib::Option<Lib::VirtualIterator<Indexing::LiteralClause*> >&&)' at /home/mhajdu/vampire/Lib/Option.hpp:257:7,
inlined from 'Lib::FlatteningIterator<Master>::FlatteningIterator(Lib::FlatteningIterator<Master>&&) [with Master = Lib::MappingIterator<Lib::FlatteningIterator<Lib::MappingIterator<Lib::RangeIterator<long unsigned int>, Indexing::LiteralSubstitutionTree<Indexing::LiteralClause>::getAll()::<lambda(auto:95)>, Indexing::SubstitutionTree<Indexing::LiteralClause>::LeafIterator> >, Indexing::LiteralSubstitutionTree<Indexing::LiteralClause>::getAll()::<lambda(Indexing::LiteralSubstitutionTree<Indexing::LiteralClause>::Leaf*)>, Lib::VirtualIterator<Indexing::LiteralClause*> >]' at /home/mhajdu/vampire/Lib/Metaiterators.hpp:602:3,
inlined from 'Lib::MappingIterator<Inner, Functor, ResultType>::MappingIterator(Lib::MappingIterator<Inner, Functor, ResultType>&&) [with Inner = Lib::FlatteningIterator<Lib::MappingIterator<Lib::FlatteningIterator<Lib::MappingIterator<Lib::RangeIterator<long unsigned int>, Indexing::LiteralSubstitutionTree<Indexing::LiteralClause>::getAll()::<lambda(auto:95)>, Indexing::SubstitutionTree<Indexing::LiteralClause>::LeafIterator> >, Indexing::LiteralSubstitutionTree<Indexing::LiteralClause>::getAll()::<lambda(Indexing::LiteralSubstitutionTree<Indexing::LiteralClause>::Leaf*)>, Lib::VirtualIterator<Indexing::LiteralClause*> > >; Functor = Indexing::LiteralSubstitutionTree<Indexing::LiteralClause>::getAll()::<lambda(const Indexing::LiteralSubstitutionTree<Indexing::LiteralClause>::LeafData*)>; ResultType = Indexing::LiteralClause]' at /home/mhajdu/vampire/Lib/Metaiterators.hpp:464:3,
inlined from 'Lib::IterTraits<Iter>::IterTraits(Iter) [with Iter = Lib::MappingIterator<Lib::FlatteningIterator<Lib::MappingIterator<Lib::FlatteningIterator<Lib::MappingIterator<Lib::RangeIterator<long unsigned int>, Indexing::LiteralSubstitutionTree<Indexing::LiteralClause>::getAll()::<lambda(auto:95)>, Indexing::SubstitutionTree<Indexing::LiteralClause>::LeafIterator> >, Indexing::LiteralSubstitutionTree<Indexing::LiteralClause>::getAll()::<lambda(Indexing::LiteralSubstitutionTree<Indexing::LiteralClause>::Leaf*)>, Lib::VirtualIterator<Indexing::LiteralClause*> > >, Indexing::LiteralSubstitutionTree<Indexing::LiteralClause>::getAll()::<lambda(const Indexing::LiteralSubstitutionTree<Indexing::LiteralClause>::LeafData*)>, Indexing::LiteralClause>]' at /home/mhajdu/vampire/Lib/Metaiterators.hpp:1480:36,
inlined from 'Lib::IterTraits<Iter> Lib::iterTraits(Iter) [with Iter = MappingIterator<FlatteningIterator<MappingIterator<FlatteningIterator<MappingIterator<RangeIterator<long unsigned int>, Indexing::LiteralSubstitutionTree<Indexing::LiteralClause>::getAll()::<lambda(auto:95)>, Indexing::SubstitutionTree<Indexing::LiteralClause>::LeafIterator> >, Indexing::LiteralSubstitutionTree<Indexing::LiteralClause>::getAll()::<lambda(Indexing::LiteralSubstitutionTree<Indexing::LiteralClause>::Leaf*)>, VirtualIterator<Indexing::LiteralClause*> > >, Indexing::LiteralSubstitutionTree<Indexing::LiteralClause>::getAll()::<lambda(const Indexing::LiteralSubstitutionTree<Indexing::LiteralClause>::LeafData*)>, Indexing::LiteralClause>]' at/home/mhajdu/vampire/Lib/Metaiterators.hpp:1734:75,
inlined from 'Lib::IterTraits<Lib::MappingIterator<Iter, F> > Lib::IterTraits<Iter>::map(F) [with F = Indexing::LiteralSubstitutionTree<Indexing::LiteralClause>::getAll()::<lambda(const Indexing::LiteralSubstitutionTree<Indexing::LiteralClause>::LeafData*)>; Iter = Lib::FlatteningIterator<Lib::MappingIterator<Lib::FlatteningIterator<Lib::MappingIterator<Lib::RangeIterator<long unsigned int>, Indexing::LiteralSubstitutionTree<Indexing::LiteralClause>::getAll()::<lambda(auto:95)>, Indexing::SubstitutionTree<Indexing::LiteralClause>::LeafIterator> >, Indexing::LiteralSubstitutionTree<Indexing::LiteralClause>::getAll()::<lambda(Indexing::LiteralSubstitutionTree<Indexing::LiteralClause>::Leaf*)>, Lib::VirtualIterator<Indexing::LiteralClause*> > >]' at /home/mhajdu/vampire/Lib/Metaiterators.hpp:1560:82,
inlined from 'Lib::VirtualIterator<T> Indexing::LiteralSubstitutionTree<LeafData_>::getAll() [with LeafData_ = Indexing::LiteralClause]' at /home/mhajdu/vampire/Indexing/LiteralSubstitutionTree.hpp:61:9:
/home/mhajdu/vampire/Lib/VirtualIterator.hpp:162:59: warning: '*(const Lib::VirtualIterator<Indexing::LiteralClause*>*)((char*)&<unnamed> + offsetof(Lib::MappingIterator<Lib::FlatteningIterator<Lib::MappingIterator<Lib::FlatteningIterator<Lib::MappingIterator<Lib::RangeIterator<long unsigned int>, ._anon_475, Indexing::SubstitutionTree<Indexing::LiteralClause>::LeafIterator> >, ._anon_476, Lib::VirtualIterator<Indexing::LiteralClause*> > >, ._anon_477, Indexing::LiteralClause>,Lib::MappingIterator<Lib::FlatteningIterator<Lib::MappingIterator<Lib::FlatteningIterator<Lib::MappingIterator<Lib::RangeIterator<long unsigned int>, ._anon_475, Indexing::SubstitutionTree<Indexing::LiteralClause>::LeafIterator> >, ._anon_476, Lib::VirtualIterator<Indexing::LiteralClause*> > >, ._anon_477, Indexing::LiteralClause>::_inner.Lib::FlatteningIterator<Lib::MappingIterator<Lib::FlatteningIterator<Lib::MappingIterator<Lib::RangeIterator<long unsigned int>, ._anon_475, Indexing::SubstitutionTree<Indexing::LiteralClause>::LeafIterator> >, ._anon_476, Lib::VirtualIterator<Indexing::LiteralClause*> > >::_current.Lib::Option<Lib::VirtualIterator<Indexing::LiteralClause*> >::<unnamed>.Lib::OptionBase<Lib::VirtualIterator<Indexing::LiteralClause*> >::_elem.Lib::MaybeUninit<Lib::VirtualIterator<Indexing::LiteralClause*> >::_elem)).Lib::VirtualIterator<Indexing::LiteralClause*>::_core' may be used uninitialized [-Wmaybe-uninitialized]
162 | VirtualIterator(const VirtualIterator& obj) : _core(obj._core)
| ~~~~^~~~~
In file included from /home/mhajdu/vampire/Kernel/Clause.hpp:27,
from /home/mhajdu/vampire/Indexing/Index.hpp:22:
/home/mhajdu/vampire/Lib/Metaiterators.hpp: In member function 'Lib::VirtualIterator<T> Indexing::LiteralSubstitutionTree<LeafData_>::getAll() [with LeafData_ = Indexing::LiteralClause]':
/home/mhajdu/vampire/Lib/Metaiterators.hpp:1734:46: note: '<anonymous>' declared here
1734 | IterTraits<Iter> iterTraits(Iter i) { return IterTraits<Iter>(std::move(i)); }
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~