Use INT_STRLEN_BOUND to proper get the maximum pid_t size. Also
fix the wrong calculation (the 3 should multiply the sizeof (pid_t)).
Checked on x86_64-linux-gnu.
#include <string.h>
#include <array_length.h>
+#include <intprops.h>
#include <support/process_state.h>
#include <support/xstdio.h>
{ support_process_state_parked, 'P' },
};
- char spath[sizeof ("/proc/" + 3) * sizeof (pid_t) + sizeof ("/status") + 1];
+ char spath[sizeof ("/proc/") + INT_STRLEN_BOUND (pid_t) + sizeof ("/status") + 1];
snprintf (spath, sizeof (spath), "/proc/%i/status", pid);
FILE *fstatus = xfopen (spath, "r");