Примеры ошибок, обнаруженных с помощью диагностики V681

V681. The language standard does not define order in which 'Foo' functions are called during evaluation of arguments.

Android

V681 CWE-758 The language standard does not define an order in which the 'readSigned' functions will be called during evaluation of arguments. ComposerClient.cpp 836

bool ComposerClient::CommandReader::parseSetLayerCursorPosition(uint16_t length)
{
  if (length != CommandWriterBase::kSetLayerCursorPositionLength) {
    return false;
  }

  auto err =
    mHal.setLayerCursorPosition(mDisplay, mLayer,
                                readSigned(), readSigned());
  if (err != Error::NONE) {
    mWriter.setError(getCommandLoc(), err);
  }

  return true;
}

Wine Is Not an Emulator

V681 The language standard does not define an order in which the 'tlb_read_byte' functions will be called during evaluation of arguments. tlb.c 650

static BOOL dump_msft_custdata(seg_t *seg)
{
  ....
  printf("\\%2.2x \\%2.2x\n", tlb_read_byte(), tlb_read_byte());
  ....
}