Недопустимый тип в аргументе спецификатора формата printf и дополнительном аргументе для спецификатора формата printf - PullRequest
Новая
       113

Недопустимый тип в аргументе спецификатора формата printf и дополнительном аргументе для спецификатора формата printf

1 голос
/ 17 июня 2020

Я отлаживал этот код RTOS в Coverity и обнаружил несколько мелких ошибок. Ошибки говорят сами за себя, поскольку они являются ошибками спецификатора формата. Обе ошибки относятся к основной функции. Первая ошибка находится в строке: 

RTOS_TEST(" Error = 0x%X, pool = 0x%X\n", result, (_mqx_uint)error_ptr);

Ошибка: недопустимый тип в аргументе спецификатора формата printf (PRINTF_ARGS) invalid_type: Результат аргумента для спецификатора формата% X должен был иметь тип unsigned int, но тип unsigned long.

Вторая ошибка находится в строке: 

RTOS_TEST("MQX lock mutex FAILED: 0x08X\n", status);

Ошибка: дополнительный аргумент для спецификатора формата printf (PRINTF_ARGS) extra_argument: этот аргумент не использовался строкой формата: status.

Я не уверен, как я передаю дополнительный аргумент, поскольку RTOS_TEST принимает один аргумент. Подскажите пожалуйста, что я делаю не так. 

#if !defined(__arc__)
   #define RTOS_TEST(...) printf(__VA_ARGS__)
#else
   #define RTOS_TEST(...)
#endif

typedef uint_32  _mqx_uint, _PTR_ _mqx_uint_ptr;
typedef uint32_t Status_t;

void SECTION_CODE("CODE_SLOW") WrappersTest(uint_32  parameter)
{
   _lwmem_pool_id lwmem_pool_id;
   pointer        error_ptr;
   pointer        error2_ptr;
   Status_t       status;
   _mqx_uint      result;
   BOOL           fail = FALSE;

   RTOS_TEST("Start MQX integrity tests ...\n");

   TestQueue();
   TestLightWeightSemaphore();
   TestMutexAPI();
   TestLightWeightEvent();
   TestFastMessageQueue();
   TestLightWeightMemory();

#if defined(MQX_TEST_EVENT_TEST)
   RTOS_TEST("Calling _event_test ..."); fflush(stdout);
   result = _event_test(&error_ptr);

   if (result != MQX_OK)
   {
      RTOS_TEST(" ***FAILED*** _event_test: 0x%08X\n", result);
      fail = TRUE;
   }
   else
   {
      RTOS_TEST("PASSED!\n");
   }
#endif // MQX_TEST_EVENT_TEST

status = RTOS_MutexInit(&testMutex, (uint8_t*)Name);

if (status != STATUS_OK)
{
   RTOS_TEST("MQX init mutex FAILED: 0x%08X\n", status);
}

for (; loopCount > 0; loopCount--)
{
   status = RTOS_MutexLock(&testMutex);

   if (status != STATUS_OK)
   {
      RTOS_TEST("MQX lock mutex FAILED: 0x08X\n", status);
   }
}

int main()
{
   .........,
   RTOS_TEST(" Error = 0x%X, pool = 0x%X\n", result, (_mqx_uint)error_ptr);
   ..........
   if (status != STATUS_OK)
         {
            RTOS_TEST("MQX lock mutex FAILED: 0x08X\n", status);
         }
   ..........
   return 0;
}

Ответы [ 2 ]

1 голос
/ 17 июня 2020

"MQX lock mutex FAILED: 0x08X\n", status просто отсутствует "%", а также ответил @ Влад из Москвы .
Хорошо, что OP имеет много предупреждений / ошибок.

Что касается несоответствия типов, используйте соответствующий спецификатор печати. ​​

Пример: поскольку status - это uint32_t, используйте "%" PRIX32

#include <inttypes.h>

typedef uint32_t Status_t;
Status_t       status;

// RTOS_TEST("MQX lock mutex FAILED: 0x08X\n", status);
RTOS_TEST("MQX lock mutex FAILED: 0x%08" PRIX32 "\n", status);
1 голос
/ 17 июня 2020

В этом вызове 

RTOS_TEST("MQX lock mutex FAILED: 0x08X\n", status);

вы как минимум забыли указать символ '%' перед спецификатором формата 'X' Например, "0x%08X". Таким образом, компилятор выдает ошибку, ссылаясь на аргумент status, что есть избыточные аргументы

В этом вызове 

RTOS_TEST(" Error = 0x%X, pool = 0x%X\n", result, (_mqx_uint)error_ptr);

вы должны указать модификатор длины 'l'.

Например 

RTOS_TEST(" Error = %#lX, pool = %#lX\n", result, (_mqx_uint)error_ptr);

Обратите внимание, что 0x писать не нужно. Вместо этого вы можете использовать флаг '#'. Если вы хотите иметь префикс '0x', используйте спецификатор формата нижнего регистра 'x' like "% # lx" . Otherwise use the upper case format specifier 'X' like "% # lX" `.

...