Skip to content

fixed integer overflow by using unsigned integer

🤖 SoSy-Bot 🤖 requested to merge github/fork/zmanchun/master into master

Created by: zmanchun

It is possible that refctr gets incremented infinitely. Therefore, we need to change its type to unsigned int.

Merge request reports