0001729: "char const * const *" causes syntax error

View Issue Details [ Jump to Notes ] [ Related Changesets ]

Project

Tags

No tags attached.

aaa.c [^] (89 bytes) 2014-04-03 16:25 [Show Content] [Hide Content]

static void elem_size(void) {
	//@ assert \valid_read((char const * const *)0);
}

Relationships

Notes
(0005026) Jochen (reporter) 2014-04-03 16:46	The original code seemed to stem from FRAMA-C normalization before value-analysis of some C program: 12343 /@ assert 12344 Value: mem_access: 12345 \valid_read((char const const )namespaces->elts+i); 12346 / 12347 /@ assert 12348 Value: initialisation: 12349 \initialized((char const const )namespaces->elts+i); 12350 / 12351 tmp_8_unroll_1579 = strlen(((char const const *)namespaces->elts + i));

(0005039) virgile (developer) 2014-04-10 11:46	Fix committed to feature/bugfix-1729 branch.

(0005040) virgile (developer) 2014-04-10 11:47	Fix committed to feature/bugfix-1729 branch.

(0005041) virgile (developer) 2014-04-10 12:01	Fix committed to feature/bugfix-1729 branch.

(0005099) virgile (developer) 2014-05-16 10:23	Fix committed to master branch.