Project

General

Profile

Actions

Bug #8259

closed

CIF fails on paravirt_write_msr

Added by Anton Vasilyev almost 7 years ago. Updated about 6 years ago.

Status:
Closed
Priority:
Urgent
Category:
-
Start date:
06/23/2017
Due date:
% Done:

0%

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

Description

Exception:

./arch/x86/include/asm/paravirt.h: In function 'paravirt_write_msr':
./arch/x86/include/asm/paravirt.h:124:1: warning: LDV: ../../aspectator/gcc/c-family/ldv-convert.c: 4351: expression recursion limit is reached [enabled by default]
./arch/x86/include/asm/paravirt.h:124:1: error: LDV: ../../aspectator/gcc/c-family/ldv-convert.c: 4352: tree node 'statement_list' isn't supported


Files

tmp_vmci_context.c.macroinstrumented (1.55 MB) tmp_vmci_context.c.macroinstrumented Anton Vasilyev, 06/23/2017 06:00 PM
Actions #1

Updated by Evgeny Novikov almost 7 years ago

  • Priority changed from Normal to Urgent

Likely due to this issue all modules of the newest versions of the Linux kernel couldn't be verified.

Actions #2

Updated by Anton Vasilyev almost 7 years ago

It seems that there is bug in linux kernel with return from void function.

static inline void paravirt_write_msr() {
    return PVOP_VCALL3();
}

Actions #3

Updated by Evgeny Novikov about 6 years ago

  • Status changed from New to Closed

I fixed the issue in d95cdf0 and added corresponding test cases there as well.

Actions

Also available in: Atom PDF