hidden_malloc.res.oracle 515 Bytes
Newer Older
Virgile Prevosto's avatar
Virgile Prevosto committed
1
tests/runtime/hidden_malloc.c:11:[kernel:typing:implicit-function-declaration] warning: Calling undeclared function realpath. Old style K&R code?
2
3
4
5
[e-acsl] beginning translation.
tests/runtime/hidden_malloc.c:11:[kernel] warning: Neither code nor specification for function realpath, generating default assigns from the prototype
[e-acsl] translation done in project "e-acsl".
tests/runtime/hidden_malloc.c:11:[value] warning: Completely invalid destination for assigns clause *((char *)x_1 + (0 ..)).
Andre Maroneze's avatar
Andre Maroneze committed
6
    Ignoring.