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?
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?