Make POOL_ALLOCATOR_NEW_DELETE optional

Open

#3,123 opened on Jan 24, 2023 2 comments 0 reactions 1 assignee Claimed by @ncesario-lunarg View on GitHub

enhancement

Description

Without an easy way to disable this macro/these operators, it's very hard to provide a custom memory manager to glslang.

It would be nice if this could be disabled with a build switch.

This issue has not been assessed yet.