http://bugzilla.opensuse.org/show_bug.cgi?id=1041224 Bug ID: 1041224 Summary: GCC 7: klee fails to build Classification: openSUSE Product: openSUSE Tumbleweed Version: Current Hardware: Other OS: Other Status: NEW Severity: Normal Priority: P5 - None Component: Other Assignee: bnc-team-screening@forge.provo.novell.com Reporter: dimstar@opensuse.org QA Contact: qa-bugs@suse.de Blocks: 1030236 Found By: --- Blocker: --- Since the update of gcc to version 7, openSUSE:Factory/klee fails to build See a complete log file at https://build.opensuse.org/package/live_build_log/openSUSE:Factory/klee/stan... -- You are receiving this mail because: You are on the CC list for the bug.