{"action":"closed","issue":{"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/94","repository_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks","labels_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/94/labels{/name}","comments_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/94/comments","events_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/94/events","html_url":"https://github.com/sosy-lab/sv-benchmarks/issues/94","id":114314231,"number":94,"title":"``regression`` benchmarks contain GCC compiler built-ins which Clang cannot handle","user":{"login":"delcypher","id":511795,"avatar_url":"https://avatars.githubusercontent.com/u/511795?v=3","gravatar_id":"","url":"https://api.github.com/users/delcypher","html_url":"https://github.com/delcypher","followers_url":"https://api.github.com/users/delcypher/followers","following_url":"https://api.github.com/users/delcypher/following{/other_user}","gists_url":"https://api.github.com/users/delcypher/gists{/gist_id}","starred_url":"https://api.github.com/users/delcypher/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/delcypher/subscriptions","organizations_url":"https://api.github.com/users/delcypher/orgs","repos_url":"https://api.github.com/users/delcypher/repos","events_url":"https://api.github.com/users/delcypher/events{/privacy}","received_events_url":"https://api.github.com/users/delcypher/received_events","type":"User","site_admin":false},"labels":[{"id":472360268,"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/labels/issue%20with%20benchmark","name":"issue with benchmark","color":"d93f0b","default":false}],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":8,"created_at":"2015-10-30T17:13:34Z","updated_at":"2016-11-04T16:40:22Z","closed_at":"2016-11-04T16:40:22Z","body":"Clang cannot build some of the benchmarks in the `regression` folder due to the files containing compiler built-ins that are incompatible with Clang. Passing `-fno-builtins` does not fix the issues here.\n\nThe first issue I saw was\n\n```\nclang building regression/drivers--usb--serial--spcp8x5.ko_001.0ba4034.32_7a.cil_true-unreach-call.i\n/home/ldvuser/ldv/inst/kernel-rules/verifier/rcv.h:49:6: error: definition of builtin function '__builtin_expect'\nlong __builtin_expect(long exp , long c ) \n     ^\n1 error generated.\n```\n\nEven if rename that function so it's `builtin_expect()` I run into more issues.\n\n```\nvoid __builtin_va_start(__builtin_va_list  ) ;\n     ^\n<compiler builtins>:1:6: note: '__builtin_va_start' is a builtin with type 'void (__va_list_tag *, ...)'\n/work/ldvuser/novikov/work/current--X--drivers/isdn/mISDN/mISDN_core.ko--X--defaultlinux--X--39_7a--X--cpachecker/linux/csd_deg_dscv/30/dscv_tempdir/dscv/ri/39_7a/drivers/isdn/mISDN/layer1.c.prepared:194:45: error: \n      too few arguments to function call, expected at least 2, have 1\n  __builtin_va_start((__va_list_tag *)(& va));\n                                            ^\n/work/ldvuser/novikov/work/current--X--drivers/isdn/mISDN/mISDN_core.ko--X--defaultlinux--X--39_7a--X--cpachecker/linux/csd_deg_dscv/30/dscv_tempdir/dscv/ri/39_7a/drivers/isdn/mISDN/layer2.c.prepared:193:45: error: \n      too few arguments to function call, expected at least 2, have 1\n  __builtin_va_start((__va_list_tag *)(& va));\n                                            ^\n/work/ldvuser/novikov/work/current--X--drivers/isdn/mISDN/mISDN_core.ko--X--defaultlinux--X--39_7a--X--cpachecker/linux/csd_deg_dscv/30/dscv_tempdir/dscv/ri/39_7a/drivers/isdn/mISDN/tei.c.prepared:176:45: error: \n      too few arguments to function call, expected at least 2, have 1\n  __builtin_va_start((__va_list_tag *)(& va));\n                                            ^\n/work/ldvuser/novikov/work/current--X--drivers/isdn/mISDN/mISDN_core.ko--X--defaultlinux--X--39_7a--X--cpachecker/linux/csd_deg_dscv/30/dscv_tempdir/dscv/ri/39_7a/drivers/isdn/mISDN/tei.c.prepared:320:45: error: \n      too few arguments to function call, expected at least 2, have 1\n  __builtin_va_start((__va_list_tag *)(& va));\n                                            ^\n```\n\nI'm not sure if it's possible to fix this. Personally I don't think compiler builtins should be appearing in benchmarks.\n\n@zvonimir @dbeyer @PhilippWendler Any ideas here?\n"}}
{"actor":{"display_login":"PhilippWendler"}}