Project

General

Profile

Actions
Copy link

Bug #6195

open

CPAchecker fails to parse '.prepared' files due to double initialization of ldv-generated variable

Added by Anton Volkov almost 9 years ago. Updated almost 9 years ago.

Status:
New
Priority:
Normal
Assignee:
Ilja Zakharov
Category:
-
Start date:
07/13/2015
Due date:
% Done:

0%

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

Description

Branch: new-envgen-structures
Reports can be found here: berg.intra.ispras.ru:8999/stats/index/profilename/default/name/LDVCompare/user/ldvuser/host/localhost/password/no/filter/TA.id%3D3/page/RCV+Problems/value/Init+variable+twice/Task+id/3/Task+description/LDV+0.8+(wrong+branch)/Environment+version/linux-3.17-rc1.tar.xz/Rule+name/32_7a

Actions
Copy link
 #1

Updated by Anton Volkov almost 9 years ago

Files can be found at NeilBrown in /work/ldvuser/volkov/launch

Actions
Copy link
 #2

Updated by Anton Volkov almost 9 years ago

Kernel: 3.17-rc1

Error example:
CPAchecker 1.4-svn (OpenJDK 64-Bit Server VM 1.7.0_09) started (CPAchecker.run, INFO) Error: Parsing failed (/work/ldvuser/volkov/launch/work/current--X--arch--X--defaultlinux-3.17-rc1.tar.xz--X--32_7a--X--cpachecker/linux-3.17-rc1.tar.xz/csd_deg_dscv/295/dscv_tempdir/dscv/ri/32_7a/drivers/oprofile/cpu_buffer.o.c.prepared, line 133: Variable LDV_IN_INTERRUPT initialized for the second time: int LDV_IN_INTERRUPT = 1;) (EclipseCParser.buildCFA, SEVERE) Please make sure that the code can be compiled by a compiler.

Actions
Copy link
 #3

Updated by Anton Volkov almost 9 years ago

LDV version: 0.8

Actions
Copy link

Also available in: Atom PDF