Details
-
Task
-
Resolution: Fixed
-
Major - P3
-
None
-
None
-
None
-
Fully Compatible
-
Execution Team 2022-08-08
-
70
Description
It seems that with more recent versions of GCC the RecordId destructor gives a false positive for freeing a non-heap pointer even though the pointer will only be set with valid data if the guard condition is valid.
We should disable the warning for now.