diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2013-11-15 12:57:27 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2013-11-15 12:57:27 +0100 |
| commit | dc96b68a826a652d514f994d1f7932fb6fff87a7 (patch) | |
| tree | 553162f83f139f4e31f12ddc17c909974214c48f /daemons/Makefile | |
| parent | e4e5c29fb254a05a134886ee6518e3d7cfde1cc6 (diff) | |
mach-defpager: fix the page offsets returned by pager_pages
Previously the increment was outside the loop body, turning it into a
dead increment.
Move the increment into the loop body as it is done in the true branch
above. This fixes the offsets recorded in the default_pager_page_t
objects.
Found using the Clang Static Analyzer.
* mach-defpager/default_pager.c (pager_pages): Fix returned page offsets.
Diffstat (limited to 'daemons/Makefile')
0 files changed, 0 insertions, 0 deletions