soplex
soplex copied to clipboard
'use-after-free' warnings when compiling with GCC 12
When SoPLEX is built with GGC 12, the compiler produces 61 warnings like the following one:
soplex/src/soplex/classset.h:519:17: warning: pointer may be used after 'void free(void*)' [-Wuse-after-free]
Is this a known issue? Are these false positive and it's safe to ignore them?