Actions
Bug #8259
closedCIF fails on paravirt_write_msr
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
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.
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();
}
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