Actions
Bug #9893
closedFrama-C (CIL) cannot do a cast
Status:
Rejected
Priority:
Normal
Assignee:
-
Start date:
10/28/2019
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
Description
CIL cannot perform preprocessing of a file from BusyBox and terminates with the following error:
User Error:
cannot cast from struct sockaddr const * to union anonunion_CONST_SOCKADDR_ARG_18
468 void FAST_FUNC xbind(int sockfd, struct sockaddr *my_addr, socklen_t addrlen)
469 {
470 if (bind(sockfd, my_addr, addrlen)) bb_perror_msg_and_die("bind");
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
471 }
472
[kernel] User Error: skipping file file.i that has errors.Files
Updated by Evgeny Novikov over 4 years ago
As far as I remember, this issue is not in CIL, but in CIF, isn't it? If so, please, describe it appropriately and move to the corresponding project.
Actions