Change the type of return value of profile_count::value to uint64_t
authorMartin Jambor <mjambor@suse.cz>
Thu, 15 Jul 2021 15:26:45 +0000 (17:26 +0200)
committerMartin Jambor <mjambor@suse.cz>
Thu, 15 Jul 2021 15:27:17 +0000 (17:27 +0200)
commit07bd2703047d222ed7ff189d86350e73c5cc2c9e
tree1ccd08c4ccd264413e71c876b714ab1b90210400
parent17855eed7fc76b2cee7fbbc26f84d3c8b99be13c
Change the type of return value of profile_count::value to uint64_t

The field in which profile_count holds the count has 61 bits but the
getter method only returns it as a 32 bit number.  The getter is (and
should be) only used for dumping but even dumps are better when they
do not lie.

gcc/ChangeLog:

2021-07-13  Martin Jambor  <mjambor@suse.cz>

* profile-count.h (profile_count::value): Change the return type to
uint64_t.
* gimple-pretty-print.c (dump_gimple_bb_header): Adjust print
statement.
* tree-cfg.c (dump_function_to_file): Likewise.
gcc/gimple-pretty-print.c
gcc/profile-count.h
gcc/tree-cfg.c