ID0000725: **This issue was created automatically from Mantis Issue 725. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0000725 | Frama-C | Kernel | public | 2011-02-17 | 2014-02-12 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | pascal | **Assigned To** | virgile | **Resolution** | fixed | | **Priority** | normal | **Severity** | minor | **Reproducibility** | always | | **Platform** | - | **OS** | - | **OS Version** | - | | **Product Version** | Frama-C Carbon-20110201 | **Target Version** | - | **Fixed in Version** | Frama-C Nitrogen-20111001 | ### Description : $ frama-c -val char_ampamp.c char_ampamp.c:7:[value] reading left-value x. The contents is imprecise. char_ampamp.c:7:[kernel] warning: accessing uninitialized left-value x: assert(Ook) char_ampamp.c:7:[kernel] warning: accessing left-value x that contains escaping addresses; assert(Ook) [value] Called Frama_C_show_each_x({{ ANYTHING }}) ## Attachments - [char_ampamp.c](/uploads/cb580ccef59ea48518ba110f8c027240/char_ampamp.c)