Project

General

Profile

Actions
Copy link

Bug #553

open

envgen generates incorrect return type for jedec_probe

Added by Vadim Mutilin over 13 years ago. Updated about 13 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
Environment Generation
Start date:
11/15/2010
Due date:
% Done:

0%

Estimated time:
Detected in build:
5f05c35e935005b61d91716380f69f269883acef
Platform:
Published in build:

Description

For jedec_probe in drivers/mtd/chips/jedec_probe.ko 

static struct mtd_info *jedec_probe(struct map_info *map)

it misses pointer and generates struct mtd_info instead of struct mtd_info *

       /* LDV_COMMENT_VAR_DECLARE Variable declaration for test return result from function call "jedec_probe" */
        static struct mtd_info res_jedec_probe_1;


       res_jedec_probe_1 = jedec_probe( var_jedec_probe_1_p0);
The same for
  1. drivers/mtd/chips/map_ram.ko
  2. drivers/mtd/lpddr/qinfo_probe.ko
  3. drivers/mtd/chips/map_absent.ko
  4. drivers/mtd/chips/cfi_probe.ko
  5. drivers/mtd/chips/map_rom.ko

Related issues 3 (2 open — 1 closed)

Related to Linux Driver Verification - Bug #1167: Bugs related with 32_1a modelOpen05/03/2011

Actions
Related to C Instrumentation Framework - Bug #1166: GCC-aspectator fails with fatal error: incorrect exceptional codeClosedEvgeny Novikov05/03/2011

Actions
Blocks Linux Driver Verification - Bug #1276: Compile errors made by DEG (rollup)NewVadim Mutilin05/24/2011

Actions
Actions
Copy link
 #1

Updated by Pavel Shved over 13 years ago

  • Category set to Environment Generation
Actions
Copy link
 #2

Updated by Pavel Shved over 13 years ago

  • Priority changed from High to Normal
Actions
Copy link
 #3

Updated by Pavel Shved about 13 years ago

The issue's relevant; the new aspectator has detected it during a full-kernel run.

Actions
Copy link

Also available in: Atom PDF