diff options
Diffstat (limited to 'gcc/profile-count.h')
-rw-r--r-- | gcc/profile-count.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/profile-count.h b/gcc/profile-count.h index 015aee9..0e79fd2 100644 --- a/gcc/profile-count.h +++ b/gcc/profile-count.h @@ -1061,6 +1061,9 @@ public: return *this; } + profile_count operator* (const sreal &num) const; + profile_count operator*= (const sreal &num); + profile_count operator/ (int64_t den) const { return apply_scale (1, den); |