Merge "optimizing: Fix undefined behavior in graph checker"