Project

General

Profile

Actions
Copy link

Bug #7196

open

Fix compiler warnings issued for generated environment models

Added by Evgeny Novikov about 8 years ago.

Status:
New
Priority:
High
Assignee:
Ilja Zakharov
Category:
Environment models
Target version:
-
Start date:
05/12/2016
Due date:
% Done:

0%

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

Description

These warnings can be very tricky bugs actually, so let's fix them. For instance, when generating an environment model for drivers/char/ppdev.ko of Linux 3.14, I get the following warnings from Weaver/CIF/GCC:

drivers/char/ppdev.ko.task/linux:mutex:as/weaver/.tmp_ppdev.c.aux: At top level:
drivers/char/ppdev.ko.task/linux:mutex:as/weaver/.tmp_ppdev.c.aux:147:95: warning: initialization from incompatible pointer type [enabled by default]
drivers/char/ppdev.ko.task/linux:mutex:as/weaver/.tmp_ppdev.c.aux:148:59: warning: initialization discards 'const' qualifier from pointer target type [enabled by default]
drivers/char/ppdev.ko.task/linux:mutex:as/weaver/.tmp_ppdev.c.aux: In function 'ldv_control_function_0':
drivers/char/ppdev.ko.task/linux:mutex:as/weaver/.tmp_ppdev.c.aux:580:12: warning: statement with no effect [-Wunused-value]
drivers/char/ppdev.ko.task/linux:mutex:as/weaver/.tmp_ppdev.c.aux: In function 'ldv_control_function_1':
drivers/char/ppdev.ko.task/linux:mutex:as/weaver/.tmp_ppdev.c.aux:667:12: warning: statement with no effect [-Wunused-value]
drivers/char/ppdev.ko.task/linux:mutex:as/weaver/.tmp_ppdev.c.aux: In function 'ldv_control_function_2':
drivers/char/ppdev.ko.task/linux:mutex:as/weaver/.tmp_ppdev.c.aux:753:12: warning: statement with no effect [-Wunused-value]

No data to display

Actions
Copy link

Also available in: Atom PDF