[pgpool-committers: 7397] pgpool: Fix error while allocating shared memory.

[Tatsuo Ishii]

Fix error while allocating shared memory.

If num_init_children * max_pool is huge, pool_coninfo_size() failed to
calculate the size of required shared memory because the data type
used for the variable to store shared memory size was int and it
overflows for too large shared memory size. To fix this change
pool_coninfo_size() to size_t and use appropriate size_t for the
variable used within the function.

Also fix to use proper format qualifier in
pool_shared_memory_create().

Branch
------
V3_7_STABLE

Details
-------
https://git.postgresql.org/gitweb?p=pgpool2.git;a=commitdiff;h=816f6ec87a965b983cec9ecd840d4e4d56758c6f

Modified Files
--------------
src/context/pool_process_context.c         | 10 ++++++----
src/include/context/pool_process_context.h |  4 ++--
src/utils/pool_shmem.c                     |  6 +++---
3 files changed, 11 insertions(+), 9 deletions(-)