GitLab

ID0000388: This issue was created automatically from Mantis Issue 388. Further discussion may take place here.

---

Id	Project	Category	View	Due Date	Updated
ID0000388	Frama-C	Plug-in > Eva	public	2010-02-01	2014-02-12

Reporter	yakobowski	Assigned To	monate	Resolution	fixed
Priority	normal	Severity	crash	Reproducibility	always
Platform	-	OS	-	OS Version	-
Product Version	Frama-C GIT, precise the release id	Target Version	-	Fixed in Version	Frama-C Boron-20100401

Description :

This might be related to variadic calls, but I'm not really sure.

The crash is triggered by the following code:

typedef void *va_list;

#define va_start(AP, LASTARG)
(AP = ((va_list) __builtin_next_arg (LASTARG)))

void main(const char *pszMessage,...) { va_list vlParameters; va_start(vlParameters,pszMessage); }

Additional Information :

SVN 7571