Project

General

Profile

Actions
Copy link

Bug #9959

open

Frama-C (CIL) сannot assign to non-modifiable lval

Added by Ilja Zakharov over 5 years ago. Updated over 5 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Start date:
12/03/2019
Due date:
% Done:

0%

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

Description

CIL fails with the following error:
"User Error: Cannot assign to non-modifiable lval math_state.lookupvar"

please, find the file in the attachment. The command that I executed:
toplevel.opt "-no-autoload-plugins" "-no-findlib" "-kernel-log" "e:problem desc.txt" "-machdep" "gcc_x86_64" "-c11" "-kernel-warn-key" "CERT:MSC:38=active" "-no-annot" "-keep-logical-operators" "-aggressive-merging" "-print" "-ocode" "cil.i" hush.i

Files

hush.i (618 KB) hush.i Ilja Zakharov, 12/03/2019 11:55 AM
Actions
Copy link
 #1

Updated by Ilja Zakharov over 5 years ago

Thuis is not very important bug, I observe only two BusyBox applets that struggl from the error of this kind.

Actions
Copy link

Also available in: Atom PDF