-
Notifications
You must be signed in to change notification settings - Fork 2k
-
Notifications
You must be signed in to change notification settings - Fork 2k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
ERROR translating statement 'DeclStmt' #1835
Comments
Probably related to #998 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
I'm trying to run
infer
on the linux kernel, however, the following error is preventing the progress.Manually checking some of the files shows that there is a problem with the
container_of
macro used here for example:https://github.com/torvalds/linux/blob/50dffbf771802c4db88de2cb942affa0ada43ad0/virt/kvm/kvm_main.c#L537-L540
The definition of
container_of
can be found here:https://github.com/torvalds/linux/blob/50dffbf771802c4db88de2cb942affa0ada43ad0/scripts/mod/list.h#L18-L23
Please include the following information:
Infer version v1.2.0-889c0e7e
ubuntu:22.04
infer capture --keep-going -- make LLVM=1 -j 10
Output
The text was updated successfully, but these errors were encountered: