[Bug gcov-profile/85367] [GCOV] A call to the _subborrow_u64 builtin-function is wrongly marked as executed twice

[yangyibiao at nju dot edu.cn]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85367

Yibiao Yang <yangyibiao at nju dot edu.cn> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|INVALID                     |WORKSFORME

--- Comment #2 from Yibiao Yang <yangyibiao at nju dot edu.cn> ---
As you mentioned that it works in gcc 8.1.1 while this bug exist in gcc 8.0.0.
Therefore, I change the bug status into worksforme.