BUG #15312: Possible access to unintended variable in"postgres/src/backend/postmaster/pgstat.c" line 2698

The following bug has been logged on the website:

Bug reference:      15312
Logged by:          Petru-Florin Mihancea
Email address:      petrum@gmail.com
PostgreSQL version: Unsupported/Unknown
Operating system:   Macosx
Description:

While experimenting with a CodeSonar plugin we develop, we noticed a
potential bug in file "postgres/src/backend/postmaster/pgstat.c" line 2698
function CreateSharedBackendStatus.

/* Create or attach to the shared activity buffer */
BackendActivityBufferSize = mul_size(pgstat_track_activity_query_size,
                                     NumBackendStatSlots);
BackendActivityBuffer = (char *)
    ShmemInitStruct("Backend Activity Buffer",
                    BackendActivityBufferSize,
                    &found);
if (!found)
{
    MemSet(BackendActivityBuffer, 0, size); //HERE

    /* Initialize st_activity pointers. */
    buffer = BackendActivityBuffer;
    for (i = 0; i < NumBackendStatSlots; i++)
    {
        BackendStatusArray[i].st_activity_raw = buffer;
        buffer += pgstat_track_activity_query_size;
    }
}

Shouldn't BackendActivityBufferSize be accessed in the marked line instead
of size? 

Thanks,
Petru Florin Mihancea