comparison of structures not implemented
ID0001151: This issue was created automatically from Mantis Issue 1151. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001151 | Frama-C | Plug-in > jessie | public | 2012-04-16 | 2013-03-27 |
| Reporter | nmuller | Assigned To | cmarche | Resolution | won't fix |
| Priority | normal | Severity | feature | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C GIT, precise the release id | Target Version | - | Fixed in Version | - |
Description :
when comparing two structures in an ensure, we get the message "this kind of memory access is not currently supported".
What is the roadmap with regard to this feature ?
Additional Information :
frama-c -jessie -jessie-atp alt-ergo StructTestPos.c [kernel] preprocessing with "gcc -C -E -I. -dD StructTestPos.c" [jessie] Starting Jessie translation StructTestPos.c:13:[jessie] failure: this kind of memory access is not currently supported [jessie] warning: Unsupported feature(s). Jessie plugin can not be used on your code.