Project

General

Profile

Bug #93

C code generation ERROR when node is stateless

Added by Hamza Bourbouh 9 months ago. Updated 8 months ago.

Status:
Closed
Priority:
High
Category:
Bug
Start date:
01/07/2020
Due date:
% Done:

0%


Description

lustrec -node Abs_TestGen5_PP Abs_TestGen5_PP.LUSTREC.lus

make -f Abs_TestGen5_PP.LUSTREC.makefile

gcc -O0 -I/Users/hbourbou/Documents/babelfish/cocosim2/tools/verifiers/osx/include/lustrec -I. -c Abs_TestGen5_PP.LUSTREC.c
Abs_TestGen5_PP.LUSTREC.c:332:40: error: use of undeclared identifier '__ERROR__'
arrow_step (1, 0, &_reset_7_032_1, ERROR->ni_3);
^
Abs_TestGen5_PP.LUSTREC.c:332:40: error: use of undeclared identifier '__ERROR__'
Abs_TestGen5_PP.LUSTREC.c:336:38: error: use of undeclared identifier '__ERROR__'
reset_7_032_3 = (R_cond_1 && (!__ERROR->reg._reset_7_032_2));
^
Abs_TestGen5_PP.LUSTREC.c:338:3: error: use of undeclared identifier '__ERROR__'
ERROR->reg._reset_7_032_2 = R_cond_1;
^
4 errors generated.
make: *** [Abs_TestGen5_PP.LUSTREC_run] Error 1

Abs_TestGen5_PP.LUSTREC.lus (7.43 KB) Hamza Bourbouh, 01/07/2020 05:35 AM

Abs_TestGen5_PP.LUSTREC.c Magnifier (11 KB) Hamza Bourbouh, 01/07/2020 05:35 AM

History

#1 Updated by Anonymous 8 months ago

Comment

Solved in commit 2120af730

#2 Updated by Pierre-Loïc Garoche 8 months ago

  • Status changed from New to Resolved

#3 Updated by Pierre-Loïc Garoche 8 months ago

  • Status changed from Resolved to Closed

Also available in: Atom PDF