Created by: AMS21
The uninitialized value would be loaded on line 1029 inside UPDATE_Read
resulting in undefined behavior and a non deterministic value assigned to prev_freezed
.
Created by: AMS21
The uninitialized value would be loaded on line 1029 inside UPDATE_Read
resulting in undefined behavior and a non deterministic value assigned to prev_freezed
.