-
Virgile Prevosto authored
[Ptests] preserve LOG after STDOPT directive See merge request frama-c/frama-c!2073
Virgile Prevosto authored[Ptests] preserve LOG after STDOPT directive See merge request frama-c/frama-c!2073
addrofstring.c 222 B
/* run.config*
*/
int main() {
// String literals are lvalues
char (*p)[4] = &("bar");
//wchar_t (*q)[4] = &(L"foO"); // Does not work yet
if((*p)[1] != 'a') return -1;
//if((*q)[1] != 'o') {};
return 0;
}