Project

General

Profile

Actions
Copy link

Bug #5806

open

Duplicate function __builtin_expect

Added by Vadim Mutilin over 9 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Start date:
04/07/2015
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

The rcv.h contains a definition of __builtin_expect function

3fd280c7 2012-04-13 18:15:29 50) long __builtin_expect(long exp, long c)
1c17c34a 2012-04-05 12:50:04 51) {
1c17c34a 2012-04-05 12:50:04 52)   return exp;
1c17c34a 2012-04-05 12:50:04 53) }

As far as it is included before each file
before: file ("$this")

so it leads to duplication error, like
https://svn.sosy-lab.org/trac/cpachecker/ticket/210#comment:1

No data to display

Actions
Copy link

Also available in: Atom PDF