projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8ee1b0a) | patch
ggc-page.c (ggc_allocated_p): Rename to ...
authorRichard Biener <rguenther@suse.de>
Thu, 20 Apr 2017 14:25:11 +0000 (14:25 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Thu, 20 Apr 2017 14:25:11 +0000 (14:25 +0000)
commitacb14262e18e8338c014926cdbcd034832f3561e
treea08e3113a16fe64998d1432712e342830b1515a4tree | snapshot
parent8ee1b0a013d0bbfc70a8165a52cf64d3157c1e96commit | diff
ggc-page.c (ggc_allocated_p): Rename to ...

2017-04-20  Richard Biener  <rguenther@suse.de>

* ggc-page.c (ggc_allocated_p): Rename to ...
(safe_lookup_page_table_entry): ... this and return the lookup
result.
(gt_ggc_m_S): Use safe_lookup_page_table_entry.

From-SVN: r247025
gcc/ChangeLog diff | blob | history
gcc/ggc-page.c diff | blob | history
Domain: System / Toolchain;