Commit 8f24108a authored by malenov's avatar malenov
Browse files

fix incorrect usage of va_start inside push_wmops_wmc()

parent aadf6a99

lib_debug/wmc_auto.c

+2 −1
Original line number Diff line number Diff line
@@ -16,6 +16,7 @@ 
#include <stdlib.h>

#include <string.h>

#include <stdint.h>

#include <stdarg.h>

#include <sys/stat.h>



#ifndef _MSC_VER
@@ -188,7 +189,7 @@ void reset_wmops_wmc( void ) 
    return;

}



void push_wmops_wmc( const char *label )

void push_wmops_fct( const char *label, ... )

{

    int new_flag;

    int i, j, index_record;

lib_debug/wmc_auto.h

+3 −2
Original line number Diff line number Diff line
@@ -558,11 +558,12 @@ extern double prom_cnt_wmc; 
extern double inst_cnt[NUM_INST];

extern int cntr_push_pop;



void push_wmops_wmc( const char *label );

#define push_wmops_wmc( ... ) push_wmops_fct( __VA_ARGS__, NULL )

void push_wmops_fct( const char *label, ... );

void pop_wmops_wmc( void );

void reset_wmops_wmc( void );

void print_wmops_wmc( void );

void update_wmops_wmc();

void update_wmops_wmc( void );

void update_mem( void );



#else