Project

General

Profile

Actions

Bug #7281

closed

EMG generates variables with unknown size

Added by Vitaly Mordan over 8 years ago. Updated about 5 years ago.

Status:
Closed
Priority:
High
Assignee:
Category:
Environment models
Target version:
-
Start date:
06/08/2016
Due date:
% Done:

0%

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

Description

The weaver component fails with the following error message:

storage size of 'ldv_100_container_enum_trace_reg' isn't known


Related issues 1 (0 open1 closed)

Related to Klever - Bug #7244: EMG declares and operates with variables of types non-visible in the file with an entry pointClosedIlja Zakharov05/24/2016

Actions
Actions #1

Updated by Vadim Mutilin over 8 years ago

Probably, the bug has roots in #7244
Vitaly, please provide data to reproduce the bug

Actions #2

Updated by Pavel Andrianov over 8 years ago

The task is related to the #7262. I had the same error message. One difference is that my structures are not used anywhere.

Actions #3

Updated by Vitaly Mordan over 8 years ago

How to reproduce:

Linux kernel commit: 0d67673
Module: fs/gfs2/gfs2.ko
Basic EMG options.

Actions #4

Updated by Vitaly Mordan over 8 years ago

  • Category set to Environment models
Actions #5

Updated by Ilja Zakharov over 8 years ago

  • Status changed from New to Resolved

Implemented in branch emg-improvements (look at issue 7244).

Export of control functions helped to verify referred commit and find an Unsafe there.

Actions #6

Updated by Vadim Mutilin over 8 years ago

On 0d67673, module fs/gfs2/gfs2.ko, model linux:mutex, it fails with

../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: At top level:
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:809:92: error: 'gfs2_mount_meta' undeclared here (not in a function)
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:809:47: warning: LDV: ../../aspectator/gcc/c-family/ldv-convert.c: 4337: expression recursion limit is reached [enabled by default]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:809:47: error: LDV: ../../aspectator/gcc/c-family/ldv-convert.c: 4338: tree node 'error_mark' isn't supported
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:809:47: warning: LDV: ../../aspectator/gcc/c-family/ldv-pretty-print.c: 3075: expression of primary expression was not printed [enabled by default]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:811:59: warning: initialization discards 'const' qualifier from pointer target type [enabled by default]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:829:58: error: 'gfs2_kill_sb' undeclared here (not in a function)
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:829:39: warning: LDV: ../../aspectator/gcc/c-family/ldv-convert.c: 4337: expression recursion limit is reached [enabled by default]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:829:39: error: LDV: ../../aspectator/gcc/c-family/ldv-convert.c: 4338: tree node 'error_mark' isn't supported
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:829:39: warning: LDV: ../../aspectator/gcc/c-family/ldv-pretty-print.c: 3075: expression of primary expression was not printed [enabled by default]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:831:92: error: 'gfs2_mount' undeclared here (not in a function)
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:831:47: warning: LDV: ../../aspectator/gcc/c-family/ldv-convert.c: 4337: expression recursion limit is reached [enabled by default]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:831:47: error: LDV: ../../aspectator/gcc/c-family/ldv-convert.c: 4338: tree node 'error_mark' isn't supported
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:831:47: warning: LDV: ../../aspectator/gcc/c-family/ldv-pretty-print.c: 3075: expression of primary expression was not printed [enabled by default]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:833:59: warning: initialization discards 'const' qualifier from pointer target type [enabled by default]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:877:47: warning: LDV: ../../aspectator/gcc/c-family/ldv-convert.c: 4337: expression recursion limit is reached [enabled by default]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:877:47: error: LDV: ../../aspectator/gcc/c-family/ldv-convert.c: 4338: tree node 'error_mark' isn't supported
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:877:47: warning: LDV: ../../aspectator/gcc/c-family/ldv-pretty-print.c: 3075: expression of primary expression was not printed [enabled by default]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:879:59: warning: initialization discards 'const' qualifier from pointer target type [enabled by default]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_3':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:1297:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_4':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:1673:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_43':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:1759:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_45':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:1813:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_48':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:1887:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_49':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:1961:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_5':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:2338:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_50':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:2412:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_51':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:2486:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_52':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:2560:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_53':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:2634:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_54':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:2708:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_55':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:2782:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_56':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:2856:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_57':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:2930:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_58':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:3004:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_59':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:3078:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_60':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:3152:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_61':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:3226:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_62':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:3300:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_63':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:3374:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_64':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:3448:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_65':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:3522:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_66':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:3596:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_67':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:3670:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_68':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:3744:12: warning: statement with no effect [-Wunused-value]
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux: In function 'ldv_control_function_69':
../avtg/fs/gfs2/gfs2.ko/linux:inode/weaver/.tmp_glock.c.aux:3818:12: warning: statement with no effect [-Wunused-value]
Aspectator failed at '3' stage.
Raise exception:
Traceback (most recent call last):
  File "/home/ubuntu/klever/core/core/components.py", line 95, in run
    self.main()
  File "/home/ubuntu/klever/core/core/utils.py", line 38, in callbacks_caller
    ret = attr(*args, **kwargs)
  File "/home/ubuntu/klever/core/core/avtg/weaver/__init__.py", line 95, in weave
    cc_full_desc['cwd'])))
  File "/home/ubuntu/klever/core/core/utils.py", line 219, in execute
    raise CommandError('"{0}" failed'.format(cmd))
core.utils.CommandError: "cif" failed
Actions #7

Updated by Evgeny Novikov over 8 years ago

  • Assignee set to Ilja Zakharov
  • Priority changed from Normal to High
  • Published in build set to a43c34a

Please try it after a43c34a.

Actions #8

Updated by Vadim Mutilin over 8 years ago

  • Status changed from Resolved to Feedback
  • Priority changed from High to Urgent

There is a hope to find one more target bug. Raise priority

Actions #9

Updated by Evgeny Novikov over 8 years ago

  • Status changed from Feedback to Open

One more target bug missed due to this issue is 44f694330e1e~/net/sunrpc/sunrpc.ko/linux:module.

Actions #10

Updated by Ilja Zakharov over 8 years ago

  • Priority changed from Urgent to High
Actions #11

Updated by Ilja Zakharov over 6 years ago

  • Status changed from Open to Resolved

See no more such issues in 8066-abstract-translator.

Actions #12

Updated by Evgeny Novikov about 5 years ago

  • Status changed from Resolved to Closed

It seems that the branch was merged to master a long ago, but issues were not closed at that time.

Actions

Also available in: Atom PDF