va_list problème sous linux, pas sous windows

**gigiskhan** · 01/10/2012, 13h43

bonjour à tous,

Je suis en train de porter un code en C depuis windows vers linux, et je me retrouve avec des segmentation faults que j'ai du mal à comprendre.
Voici un code qui fonctionne sous windwos mais me donne un seg fault sous linux:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
 
#include <stdio.h>
#include <stdlib.h>
#include <stdarg.h>
 
#define CRLF "\n"
#define VERSION_DATE "2012SEP10"
#define MANNO 1
#define ERR_MSG_MAX_LENGTH 10000
 
typedef struct
{
  char name[255];
  char birth_date[255];
}SOMEONE;
typedef struct
{
  char name[255];
  int version;
}APPLICATION;
 
SOMEONE *him;
APPLICATION *that;
 
FILE  *fplog = NULL;
 
int file_exists(char *filename)
{
  FILE  *fp;
 
  if ((fp = fopen(filename, "r")) == NULL)
    return 0;
  else
  {
    fclose(fp);
    return 1;
  }
}
 
int msg_handler( long code, const char *format, va_list args)
{
  char      fmt[ERR_MSG_MAX_LENGTH];
  int       ret = 0;
 
    if (code > 0) /*print on the console if code >0*/
      vprintf(format, args);
 
    /*whatever print to file*/
    sprintf(fmt, "%d\t%s" CRLF, code, format);
    vfprintf(fplog,fmt, args);/*he if I have already printed to the console, I get SEGFAULT with linux*/
    ret |= 2;
 
  return ret;
}
 
void trc_msg( long code, const char *format, ...)
{
  int ret;
  va_list args;
 
    va_start(args, format);
    ret = msg_handler(code, format, args);
    va_end(args);
}
 
 
int main()
{
  int i = 0;
 
    if (file_exists("./test.log"))
      fplog = fopen("./test.log", "a+");
    else
    {
      fplog = fopen("./test.log", "w");
      if (fplog)
        fprintf(fplog, "CODE\tDESCRIPTION" CRLF);
    }
    him = calloc(1, sizeof(SOMEONE));
    that = calloc(1, sizeof(APPLICATION));
 
    for (i=0; i<2; i++)
    {
      sprintf(him->name,"robot%d", i);
      strcpy(him->birth_date, VERSION_DATE);
      strcpy(that->name,"Super2000");
      that->version = 1;
 
      trc_msg( i, "Mr: %s was created on %s using application: %s[%d]", him->name, him->birth_date, that->name, that->version);
    }
 
 
    fclose(fplog);
    free(him);
    free(that);
    return 0;
}

il semblerait sous linux (ubuntu 10.05 64bits)
je ne puisse pas faire 2 appels consécutifs aux arguments de ma va_list dans la même fonction, tandis que sous windows, ça ne pose aucun problème.

Quelqu'un aurait-il une explication?
Comment puis-je tester si un appel à ma va_list va terminer sur un SEGFAULT?

**Bktero** · 01/10/2012, 15h04

Il manque l'inclusion de string.h.

Avec ou sans, sous Linux Mint 13, je n'ai pas d'erreur de segmentation. Ce n'est donc pas une histoire de Windows ou de Linux mais de chance.

As-tu essayé de passer ton programme dans Valgrind ?

**gigiskhan** · 01/10/2012, 15h37

merci bktero,

J'ai ajouté string.h, mais ça ne change rien.

Visblement effectivement, ce serait une question de chance.
en épluchant les man page, je vois:

The functions vprintf, vfprintf, vsprintf, vsnprintf are
equivalent to the functions printf, fprintf, sprintf, snprintf, respectively,
except that they are called with a va_list instead of a variable
number of arguments. These functions do not call the va_end macro.
Consequently, the value of ap is undefined after the call. The application
should call va_end(ap) itself afterwards

Ce qui voudrait dire que le premier appel à vprintf fait que la valeur de args est indéterminée pour le second appel à vprintf.

j'ai changé mon code en désepor de cause:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
#include <stdio.h>
#include <stdlib.h>
#include <stdarg.h>
#include <string.h> /*ajout*/
 
#define CRLF "\n"
#define VERSION_DATE "2012AUG10"
#define MANNO 1
#define ERR_MSG_MAX_LENGTH 10000
 
typedef struct
{
  char name[255];
  char birth_date[255];
}SOMEONE;
typedef struct
{
  char name[255];
  int version;
}APPLICATION;
 
SOMEONE *him;
APPLICATION *that;
 
FILE  *fplog = NULL;
 
int file_exists(char *filename)
{
  FILE  *fp;
 
  if ((fp = fopen(filename, "r")) == NULL)
    return 0;
  else
  {
    fclose(fp);
    return 1;
  }
}
 
int msg_handler( long code, const char *format, va_list args)
{
  char      fmt[ERR_MSG_MAX_LENGTH];
  int       ret = 0;
 
    if (code > 0) /*print on the console if code >0*/
    {
      vprintf(format, args);
      va_end(args);/*ajout*/
    }
 
    /*whatever print to file*/
    sprintf(fmt, "%d\t%s" CRLF, code, format);
    vfprintf(fplog,fmt, args);
    ret |= 2;
 
  return ret;
}
 
void trc_msg( long code, const char *format, ...)
{
  int ret;
  va_list args;
 
    va_start(args, format);
    ret = msg_handler(code, format, args);
    va_end(args);
}
 
 
int main()
{
  int i = 0;
 
    if (file_exists("./test.log"))
    fplog = fopen("./test.log", "a+");
    else
    {
      fplog = fopen("./test.log", "w");
      if (fplog)
        fprintf(fplog, "CODE\tDESCRIPTION" CRLF);
    }
    him = calloc(1, sizeof(SOMEONE));
    that = calloc(1, sizeof(APPLICATION));
    for (i=0;i<2;i++)
    {
      sprintf(him->name,"robot%d", i);
      strcpy(him->birth_date, VERSION_DATE);
      strcpy(that->name,"Super2000");
      that->version = 1;
 
      trc_msg( i, "Mr: %s was created on %s using application: %s[%d]", him->name, him->birth_date, that->name, that->version);
    }
 
 
    fclose(fplog);
    free(him);
    free(that);
    return 0;
}

mais bien entendu, ça ne change rien.

mon linux:
uname -a:
Linux 2.6.32-43-generic #97-Ubuntu SMP Wed Sep 5 16:42:26 UTC 2012 x86_64 GNU/Linux

Quelqu'un aurait il un problème équivalent?

Je voudrais bien faire un test avec valgrind, mais ppour celà, il va falloir que je trouve un tuto valgrind, jecherche ça.

**gigiskhan** · 01/10/2012, 15h58

bon, je viens de lancer valgrind pour un memcheck:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
valgrind --version
valgrind-3.6.0.SVN-Debian
valgrind  --leak-check=full --track-origins=yes --xml=yes --xml-file=/home/gigi/workspace/test/ValgrindOut.xml "/home/gigi/workspace/test/bin/Debug/test"

et voici ce que ça me donne

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
UninitCondition          ====          Conditional jump or move depends on uninitialised value(s)
Call stack:
/build/buildd/eglibc-2.11.1/stdio-common/vfprintf.c          1617  0x56219C3: vfprintf
/home/gigi/workspace/test/main.c          52                       0x40093F: msg_handler
/home/gigi/workspace/test/main.c          64                       0x400A34: trc_msg
/home/gigi/workspace/test/main.c          90                       0x400BB4: main
Uninitialised value was created by a stack allocation
/home/gigi/workspace/test/main.c          70                       0x400A3D: main
UninitValue                                   ====                     Use of uninitialised value of size 8
Call stack:
/build/buildd/eglibc-2.11.1/stdio-common/vfprintf.c           1617 0x5623E32: vfprintf
/home/gigi/workspace/test/main.c          52                       0x40093F: msg_handler
/home/gigi/workspace/test/main.c          64                       0x400A34: trc_msg
/home/gigi/workspace/test/main.c          90                       0x400BB4: main
                                     Uninitialised value was created by a stack allocation
/home/gigi/workspace/test/main.c          70                       0x400A3D: main
InvalidRead                                    ====             Invalid read of size 1 Call stack:
/build/buildd/eglibc-2.11.1/stdio-common/vfprintf.c          1617 0x5623E32: vfprintf
/home/gigi/workspace/test/main.c          52                      0x40093F: msg_handler
/home/gigi/workspace/test/main.c          64                      0x400A34: trc_msg
/home/gigi/workspace/test/main.c          90                      0x400BB4: main
Address  0x100400770 is not stack'd, malloc'd or (recently) free'd
||Valgrind found 3 errors!

Je dois dire que je n'y comprends pas grand chose.
Est ce que ça vous parle?

**Bktero** · 01/10/2012, 16h19

Je n'observe pas les erreurs que tu as, avec les mêmes options pour Valgrind....

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
pierre@pierre-mint:~/Documents/TestsC$ valgrind --version
valgrind-3.7.0
pierre@pierre-mint:~/Documents/TestsC$ uname -a
Linux pierre-mint 3.2.0-23-generic #36-Ubuntu SMP Tue Apr 10 20:41:14 UTC 2012 i686 athlon i386 GNU/Linux

Je ne pourrais donc pas t'aider plus : /

**Jean-Marc.Bourguet** · 01/10/2012, 16h56

Il faut un va_start par parcours. OK, tu peux copier un va_list avec va_copy, mais c'est du C99 et je ne suis pas sur que MS l'implemente.

Pour permettre de traiter le cas des parametres passes par registre, un va_list est souvent un

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
typedef struct __valist va_list[1];

l'effet est d'etre passe par reference plutot que par valeur sans marquage. En passant, GMP utilise le meme truc.

va_list problème sous linux, pas sous windows

C

Vue hybride

Discussions similaires

Partager

Partager