| 372 | } |
| 373 | |
| 374 | static void |
| 375 | HandleNegateOverflow(bool isFatal, struct COverflowData *pData, unsigned long ulOldValue) |
| 376 | { |
| 377 | char szLocation[LOCATION_MAXLEN]; |
| 378 | char szOldValue[NUMBER_MAXLEN]; |
| 379 | |
| 380 | ASSERT(pData); |
| 381 | |
| 382 | if (isAlreadyReported(&pData->mLocation)) |
| 383 | return; |
| 384 | |
| 385 | DeserializeLocation(szLocation, LOCATION_MAXLEN, &pData->mLocation); |
| 386 | DeserializeNumber(szLocation, szOldValue, NUMBER_MAXLEN, pData->mType, ulOldValue); |
| 387 | |
| 388 | Report(isFatal, "UBSan: Undefined Behavior in %s, negation of %s cannot be represented in type %s\n", |
| 389 | szLocation, szOldValue, pData->mType->mTypeName); |
| 390 | } |
| 391 | |
| 392 | static void |
| 393 | HandleBuiltinUnreachable(bool isFatal, struct CUnreachableData *pData) |
no test coverage detected