False positive

**Description of the false positive**

The error

This 'call to strcpy_s' operation is limited to 512 bytes but the destination is only 256 bytes.

Somehow it is getting a different size for sizeof and the actual size of the array. Not sure why it thinks they are different sizes when it's the same physical array. Code is below.

**Code samples or links to source code**

// Get the full device path
char devPath[ 256 ];
strcpy_s( devPath, sizeof( devPath ), pDetData->DevicePath );

No file, query, entry point, or test is named. Start by locating the CodeQL query that reports the supplied strcpy_s call, then reproduce the report with the shown 256-byte array and 512-byte bound. Done means determining whether the diagnostic is a false positive and validating any query change with a regression case.

Written by the indexing model from the issue text.