Allow use of GLOBAL/EXTERNAL variables as control variable of FOR loop.

Start adding support for explicit initialization of FB instances. Currently only allows initializing FB variables of elementary types.

merge

merge

merge

Fix date conversion function (seconds to Date_and_Time). First day of month was falling on previous month.

Fix error locations messed up in previous commit.

fix compilation of SFC transitions written in IL (compiler was entering endless loop)

fix SFC timed qualifier (D, L, ...) with variable time (was generating wrong C code)

Fix segmentation fault bug introduced by previous commit

Correcty determine the datatype (TIME) of the parameters of SFC actions with timed qualifiers

Check that flex is installed during ./configure

Fix code generation for XOR expressions in ST (add parenthesis)

merge

make autogenerated functions to be 'static inline' instead of 'inline'

This fixes link issue and compile warning, for more details about this
issue look at
https://bitbucket.org/mjsousa/matiec/issues/53/c-compiler-warning-if-iec-function-is-used

Merged mjsousa/matiec into default

merge

Merged mjsousa/matiec into default

fix bug introduced by commit 91bef6704b44 (parsing SFCs with transitions in ST and leading whitespace => endless loop)

Only allow function invocation outside ST expressions when command line option is activated.

Ignore pragmas inside IL code when handling inline function calls.

Fix bug: correctly handle formal function calls in IL with no parameters.

Add support for functions returning VOID (i.e. non-standard extension, allowing functions that do not return any data)

Add -warn flag when running flex -> warn of potential bugs

Add support for non-standard VOID datatype. May ony be used to define functions returning VOID.

Delete the YY_NO_UNPUT define, as we do use the unput() function.

Add support for non standard feature: allow POUs with no in, out and inout parameters

Add option to not add the EN and ENO parameters to every function and FB (generated C code becomes smaller, and uses less memory for function invocations)

Correctly identify errors when parsing erroneous code (make sure flex goes back to INITIAL state when code contains errors that do not allow determining whether ST or IL is being parsed)

Created new branch fix_compilation_warnings

fix compilation error about missing braces

IEC_TIMESPEC has two fields tv_sec and tv_nsec.

Compilation error:
./build/POUS.c:600:45: error: missing braces around initializer [-Werror=missing-braces]
static const STEP temp_step = {{0, 0}, 0, {0, 0}};
^
compilation terminated due to -Wfatal-errors.

fix warning about overflow if matiec is running on 64-bit platform,
but the generated C code will cross-compiled for 32-bit platform

For example:
./build/config.c:29:39: error: large integer implicitly truncated to unsigned type [-Werror=overflow]
unsigned long greatest_tick_count__ = 18446744073709551611UL; /*tick*/
^
compilation terminated due to -Wfatal-errors.
cc1: all warnings being treated as errors

fix C compilation warning about function prototype in __SET_EXTERNAL

Example warning:
./POUS.c:1220:3: error: function declaration isn't a prototype [-Werror=strict-prototypes]
__SET_EXTERNAL(data__->,KN_AUT,,__GET_VAR(data__->KEY_AUT.STATE_OUT));
^
compilation terminated due to -Wfatal-errors.
cc1: all warnings being treated as errors

fix C compilation warning from gcc about /* inside of comment section.


./beremiz/iec_std_lib.h:240:1: error: "/*" within comment [-Werror=comment]
/*
^
compilation terminated due to -Wfatal-errors.
cc1: all warnings being treated as errors

Update README.build file with instructions for crosscompiling to win32

Delete commented out code.

Fix FB calls in IL (FB variable name was showing up extraneously before the C function that initializes the POU containing the FB call)

Delete unused code.

Add check for repeated elements in a CASE statement. Emit warnings (and not errors) if found.

transform CASE into if()..else if().. -> fixes 2 bugs (1)case within case statements, and (2)repeated elements in case options

Initialise arrays to their correct default values - Fix bug introduced in commit 477393b00f95 (2014-11-16)

Fixed reset of current_varqualifier when generating global initializers, causin RETAIN and other option to be ORed and applied to all subsequent global variables.

Do fill/narrow datatype analysis algorithm for derived_datatype_identifier_c (fixes bug related to arrays of arrays that was generating incorrect C code).

Better identification of error location in some error messages.

Fix bug introduced in 2014/10/19, while adding support for REF() opertors -> datatype checking was not catching datatype inconsistency errors!

merge

Re-write and fix the logic of SFC action modifiers.

Correct the number given to actions in the #define's

Do not allow constant_propagation algorithm go into infinite loop when analysing code with circular references.

Do constant propagation of FBs instantiated in other FB or Programs, so that variable sized arrays can be declared in FBs too.

Do constant propagation of instantiated FBs, so that variable sized arrays can be declared in FBs too.

Let get_datatype_info_c handle variable sized arrays, even if constant folding is not yet done.

Correctly analyse external<->global var compatibility when using variable sized arrays (TODO: does not yet work for FBs!)

Add comment about bug that needs to be fixed later on.

Break constant_folding_c in two classes: constant_folding_c and constant_propagation_c

Add check whether the same constant var_external variable is initialised with two (or more) different constant values.

Change algorithm for propagating VAR_GLOBAL constant values to corresponding VAR_EXTERNAL.

Disable constant propagation again (still not working correctly)

Make support for use of variables in array size declarations a command line option (off by default)

Add debug_c::print(const_value_c) for printing of const values.

Add is_undefined() method to const_value_c

Make error message more informative.

Add comments.

Add checks for use of non constant value in subranges, and lower_limit > upper_limit.

Fix previous commit (symtable operator[] must return a reference to the stored value!)

Do constant propagation of configuration/resource variables, taking into account scope of variables.

Change dsymbtable_c -> use design pattern used by C++ standard library (STL)

Change symbtable_c -> use design pattern used by C++ standard library (STL)

Remove debugging code left in by mistake.

Do constant propagation inside Configurations and Resources (required for support of extension: array [1..max] OF int); (Resources is still buggy)

Do constant folding of default initial values of datatypes.

Do constant propagation to symbolic_variables, and correctly handle constant folding and propagation of variable declarations.

When generating C code, use the const_value of a symbolic_variable when it is used in a subrange.

Small code re-organization of how const values are stored in symbol_c (can now be accessed through member functions, instead of macros)

Fix bugs introduced in previous commit (once again do constant folding of all literals in type declarations)

Do constant folding of variable's initial value (allows correct C code generation with variables in the subrange of an array declaration: ARRAY [1..max] of INT).

Delete un-used declaration.

merge

Allow variables to be used when declaring the dimension of an array.

Fix C code generation when forward references (-p command line option) is on.

Add a new pou_typename_c object to the AST to store references to previously declared Functions, FB, and Programs.

Delete unused file.

Make use of pre-parser a command line option.

Fix AST generated by parsing with preparsing switched OFF (typo in array datatypes, and fix parsing of POUs).

Fix AST generated by parsing with preparsing switched on, and allow parsing to work with preparsing off.

Fix bug introduced when adding support for relaxed datatype model: change derived_datatype_identifier_c to identifier_c when used as an identifier

Add a pre-parsing phase to stage1_2 (allows source code that references POUs and datatypes before they are declared)

Comment out unused and buggy code.

Update the comments in source code.

Fix bug introduced when adding support for relaxed datatype model. Code cleanup.

Fix main state machine in flex (states were being pushed without being poped from the stack)

merge

Make the relaxed datatype model a runtime option (off by default)

Add support for relaxed datatype model for array datatypes.

fix bug introduced a few commits ago: do not print the first char ('%') of a direct_variable_c (e.g. skip % in %IW4.2)

fix code generation when dereferencing pointers (ref_to) to arrays (ref_to_array^[5])

Fix bug: set the scope annotation in deref_operators used inside structs

Editing of error message to make it more clear.

Filling of symbol->scope annotation moved from narrow to fill_candidate_datatypes_c (became possible because narrowing of struct, array and symbolic variables is now done directly in fill_candidate_datatypes_c)

fill_candidate_datatypes_c now uses search_varinstance_decl_c instead of search_varfb_instance_type_c (moving towards deprecation of search_varfb_instance_type_c)

Do the full fill_candidate/narrow_datatype algorithm for all fields of a structured variable in the fill_candidate_datatypes_c
Allows us to remove temporary code from the search_varfb_decl_c

Fix bug with multple dereferencing (bool_var := bool_ptr_ptr^^;)

Fix bug: Add support for de-referencing pointers to struct (struct_ptr^.elem1) when used inside FB.
Note that multiple de-referencing of structs (struct_ptr_ptr^^.elem) is not supported inside FB code (this would need BIG changes to the compiler!)

Fix bug: add support for dereferencing of REF_TO to REF_TO xxx (e.g.: bool_var := ref_to_ref_to_bool^^;)

Turn support of derefencing operator '^' an option (default is not supported).

Add support for de-referencing of REF_TO datatypes (Note: dereferencing of arrays and structs not yet supported!)

Add support for REF_TO inside arrays and structs (a non-standard feature!)

Code cleanup: with the introduction of anotation_map[], generate_c_vardecl_c can now derive directly from generate_c_base_c

Fix typos in comments

Add comments, and make get_datatype_id_str_c equivalent to get_datatype_id_c

Fix calling of functions whose parameters are of an implicitly declared datatype (currently only makes sense for REF_TO datatypes, but may make sense to other datatypes too if the datatype model is changed in the future).

fix indentations.

in lvalue, add check for REF() fucntion invocation, and the NULL literal

Initialise REF_TO variables to NULL.

Make support for REF_TO ANY a command line option.

Add support for non standard REF_TO ANY (equivalent to void *)

Update some comments. (No changes to code)

Introduce absyntax class for keyword ANY, and use REF_TO(ANY) as datatype of NULL literal.

Fix bug (introduced a few commits ago) when generating SFC actions that are mapped onto variables --> Make generate_sfcdecl_c stateless (i.e. does not depend on order by which it is called).

Add support for the 'NULL' keyword, defined in version 3 of IEC 61131-3.

for option '-Op' (generate <pouname>.h/c): add '#include <pouname>.h' to the .c file, and '#ifdef <pouname>_H' to the .h file

Ass include of iec_std_lib.h in POUS.h file.

Add support for implicitly declared REF_TO datatypes.

With -Op option --> Place implicitly defined datatypes in the .h file corresponding to the POU where they are used.

Add name of POU as prefix to names of implicitly defined datatypes

Implicitly defined array datatypes use new naming method (greatly simplifies stage 4 code).

array_specification_c may be used as a datatype! Add it to spec_init_separator_c

Change REF() operator to return the correct REF_TO datatype datatype.

Narrow array subscripts correctly, even in the presence of other datatype errors (so we do not generate error messages for array subscripts that do not contain errors).

Add support for REF_TO derived datatypes (along with datatype verification)

Add option to place each POU in a distinct .c and .h file pair.

code re-organisation. Preparing for the changes to come in the next commit (one C file for each POU)

Remove un-used parameter from class constructor.

Move standard FBs to a pre-converted C file, insted of converting them every time along with the IEC source.

Move library files compiled to C to their own subdiectory.

Fix stupid mistake in previous commit (use 'long double' instead of 'ld' in istandard library macro)

merge

Update build/compile instructions to reflect the fact that autoconf needs to be executed.

Fix time conversion function in std library, and change into macro (so it may be used in variable initialisations)

Add support for the stepname.T syntax.

Change the name of the variable with the step state to stepname.X (in the generated VARIABLES.csv file)

Add support for Stepname.X syntax.

Remove dead code previously left in by mistake.

Add error message for invalid datatype of transition condition. Generalize datatype narrowing algorithm for transition conditions.

merge

closed temporary fix branch

Check VAR_EXTERN variables declared in FBs instantiated in a Program (and recursively too - FBs in FBs).

Fix typo in as yet dormant code (related to REF_TO keyword, that is not yet active)

Fix compilation error on platforms where real64_t is mapped onto 'long double'

Correctly handle structured variables that include FB and external FBs (example: FB1.FB2.extFB3.FB4.extFB5.extFB6.structvar.field1 := 42;) (this commit fixes only ST code. TODO: IL and SFC)

Remove call to type_is_complex() in ST code generation.

A little code cleanup (reduce number of possible variable generation states)

Finish: Change order of SET_xxx() macros. (this will allow me to simplify the print_setter() methods later on)

Change order of SET_xxx() macros. (this will allow me to simplify the print_setter() methods later on)

More static declarations in POUS.c in order to avoid conflicting symbol definitions with new POUS.c inclusion scheme

Fix multiple resources support, POUS.c now only contain static definitions. POUS.c is included in configuration C code as well as in resources to allow GLOBAL FBs to be declared in configurations

Disable stage4 options with on windows since getsuboptr isn't supported in mingw

merge

Track of line number correctly when input file has code with very long lines.

Fix memory leak in lexical parser.

Make generation of #line directives optional.

Insert #line directives in generated C code.

Add support for parsing of REF_TO keyword (defined in IEC61131-3 v3). This support is currently inactive (in flex) until we get to add C code generation later on.

Update files to be ignored by mercurial: ignore files generated by autoconf, directory test/, and *.orig

Fix bug: do not print IL 'label' when generating inline functions (JMPxx label was generating erroneous C code)

Add limited support for the REF() operator (defined in v3 of IEC 61131-3)

Remove assertion being failed by IL labels (IL labels do not yet have specific datatypes).

Added stage1_2/Makefile.am weird rule to keep compatible with previous version of automake

Merge

fix definition of pragma.

Fix the state machine that became broken 2 commits ago (when adding support for nested comments)

Add option to control support for nested comments (default is off, as defined in IEC 61131-3 v2)

Add support for nested comments

Fix bug: when checking compatibility between GLOBAL and EXTERNAL variables, must only enforce GLOBAL CONSTANT => EXTERNAL CONSTANT.
Reverse CONSTANT implication is not enforced, and neither is RETAIN compatibility.

merge

Fix bug: correctly generate code when accessing external variables declared inside FBs as a structured variable (realvar := fb1.fb2.extvar1.realvar)

Fix bug in standard: standard does not allow multiple VAR_GLOBAL ... END_VAR constructs in configurations and resources. This is probably a bug, so we allow it.

Code cleanup (part 3): generate_c_typedecl_c is no longer needed for code generation in POUS.c It is now only needed for datatype declaration in POUS.h

Code cleanup (part 2): generate_typedecl_c now only prints to POUS.h !

Code cleanup (part 1): subrange check functions are now declared in POUS.h (as static inline functions or #define)

Fix get_datatype_info_c::is_subrange(), which did not work when using base type! (we now use get_equivtype() instead of get_base_type() )

fix a couple of typos.

Fix bug - correctly declare struct members whose type is a directly defined array (e.g.: STRUCT x: ARRAY of XXX; END_STRUCT)

Start using the called_fb_declaration annotation when generating C code from FB calls in ST.

Code cleanup: move datatype analysis to get_datatype_info_c

Fix bug-fix of previous commit.

Fix bug: allow use, as lvalues, structures/arrays inside FBs (e.g. fb1.struct1.r := 33.3).

Fix bug/issue #33 (correctly access struct/array variables declared inside a FB -> r:=FB1.FB2.struct1.array1[3] )

Add assertion suggested by Manuele.

merge

Use get_datatype_info_c::is_type_valid() to determine datatype validity
(some datatype bugs in source code were going unreported!)

Recursively check the datatype compatibility of values/expressions passed in function/FB invocations.

Change error message text so as to become more suitable to where they might occur in the source code.

Add code to check if an IN_OUT variable is being passed an IL list in formal IL FB/function invocations.

Generate correct error message when encountering IL lists embedded in IL formal invocations.

Fill in the 'datatype' anotation in the identifiers of symbolic variables.
(even though currently it is not being used).

Fix C code generation of FB invocation in IL.

Fix detection of datatype errors on IL conditional flow control operators (JMPC, RETC, ...)

Allow array_dimension_iterator to accept an array_spec_init_c.
Fixes bug activated by generating C code from IL code containing array variables.

Small code cleanup (move common code to a function)

Fix datatype analysis of conditional IL operators (CALC, CALCN, RETC, RETCN, JMPC, JMPCN, S and R)

Fix datatype analyses of S and R IL operators.

make sure all IL operands are narrowed (datatype checking algorithm)

cosmetic change only - fix code alignment.

Add support for FB call semantics of 'S' and 'R' IL operators!
Remove segfaults when analysing buggy IL code (IL operators with no operands).

Stop lvalue check from segfaulting when coming across buggy IL code (IL operator with no operand!)

Allow get_datatype_info_c to be called with NULL parameters.

Do lvalue check of function output parameters (since they may contain expressions inside array subscripts!)

Handle buggy source code gracefully (do not bork when non-array variable is used as an array. e.g: int_var[42]:= 33)

Delete debugging messages left in by mistake.

Fix segfault when doing lvalue check of buggy IEC 61131-3 source code

Fix datatype analysis of structured variables that contain arrays in their fields (e.g. var.x1[var2 + 42].y1).

Add capability of returning array subscript list while decomposing a struct/array variable.

Code cleanup: Remove unused option = Delete dead code.

merge

Declare that YYLSTYPE is not the default trivial datatype used by bison. (was causing compile errors in bison ver >= 2.7)

Fix build on Ubuntu 13.10

Fixed warning when compiling generated program containing external variable assignments

Enlarged flex buffer size in order to accept larger C pragmas

Missing braces arround extern declarartions in __SET_EXTERNAL define was making problem with GCC in switch case statements

Moved __INIT_* defines within type definition headers files

Fixed warning in accessor __SET_EXTERNAL

Fixed bug when defining task with single_data_source instead of interval_data_source

Merged Mario's changes

Fix bug related to FB invocation of FB instances declared as VAR_EXTERN.

Merged Mario's changes

Partial fix to VAR_EXTERN vs VAR_GLOBAL check. Now considers globals declared in resources too. TODO: recursively check FB declared in the program.

Allow variables declared inside resources to be referenced by res_name.var_name

Add a new node to the abstract symtax tree, which will let us do datatype checking of FB variable declarations using the standard algorithm, and no special cases.

Print filename when debugging abstract symbol table.

Consider fb_name_decl_c a non base data type class!

Fill symbol->datatype anotation for FB declarations.

Fill in the symbol.datatype annotation in symbol classes used in derived data type declarations.

Use simple_spec_init_c inside en_param_declaration_c (will reduce need to handle it as a special case in the future).

Merged

Fixed bug in string format when translating TIME and DATETIME to STRING

Fixed bug with SFC transition datatype checking

Stripped generated files again. http://stackoverflow.com/questions/3290908/which-files-generated-by-autotools-should-i-keep-in-version-control-repository

Fixed bug in case statement with enumerated type variable as case expression

Merged

Set the symbol->datatpe of function_declaration_c

Fill in the symbol->datatype of elementary datatypes.

merge

merge

Fix divide by 0 bug.

grand merge

disable not yet complete constant propagation algorithm (currently brocken and producing incorrect results),

merge

Fix constant propagation for repeat_statement_c class.

Remove unused variable.

Implement Mario's suggestions:
- Clean up code replace merge algorithm with a function.
- Fix for_statement setting control variable to not a constant.
- Fix for_statement checking BY expression to get correct value for optimization
branch.

Thanks Mario.

Fix constant_folding missing call. [Bug found by Mario.]

Fix divide by 0 bug.

merge

Fix CPPFLAGS Makefile.am for all stage4.

Remove redundant class for get variable name.

Fix constant propagation alg. in for statement like Mario suggestion.

Add note about How Constant Folding class is extended with a implementation constant propagation algorithm
by Mario de Sousa.

Add constant propagation algorithm for loop cycles.

Update symbol_c::first_file/last_file entries in list_c::add_element()

moved class to obtain datatype name (in char *) to get_datatype_info_c

merge

Fix comment about meet semilattice rules.

Complete fix initialize const_value.

Start to implement constant propagation algorithm.

Fix const_value field initialized.

Remove Ambiguous enumerate value in enum conversion functions.

Fix enum conversion function to string.

Fix struct generic_function_call_t initialize style.

Merge with Mario's changes.

Merge with Mario's repository.

Fix warning about call fprintf without format string.

merge

Remove Ambiguous enumerate value in enum conversion functions.

Fix enum conversion function to string.

Fix struct generic_function_call_t initialize style.

Small code cleanup.

Allow bison to ask for an END_OF_INPUT token multiple times!

Protect against redefining macros

merge

Fix flag to enable conversion functions.

Code cleanup: move tracking functions to flex.

Insert the auto generated enum datatype conversion functions after the TYPE...END_TYPE, instead of at the end of input file.

merge

Set ENO to false when conversion function fails.

Fix typo in functionDataType array.

Add files missing from a few commits ago...

merge

Refix automake files.

Add some comments to argument new code.

Start to change code like Mario suggestions.

Create functionDataType array in derived_conversion_functions_c.

Add conversion functions option.

Start enumerate conversion functions.

merge

Be sure to not redefine TRUE and FALSE macros.

merge

Removed unused __attribute__((__packed__)) only gcc compatible.

Protect IEC_STD_LIB.H header agaist multi-include problems.

merge

Start to move enumeration declaration checking to its own class.

Fix comments and code alignment

Fix warnings previous change introduced when compiling with gcc.

Fix some important clang++ warnings.

Allow use of type#value syntax when defining default initial value inside a TYPE..END_TYPE declaration.

Do datatype verification of fully qualified enumerated values (e.g. ENUMTYPE#enumconst)

Add datatype checking of enumeration data type declarations.

Print const values of symbol.

Fix code generation of enum value constants (this is a temporary fix - it will be followed by a code cleanup).

Fix bug in datatype checking of enumerated datatypes delcarations.

Fix datatype checking of enumerated datatype declarations. We now follow the fill->narrow algorithm correctly.

Add method to determine the id (name) of a datatype.

Change the base datatype of enumerations to an enumerated_type_declaration_c (for named types!)

Change the public interface to debug functions.

Check for errors in enum datatype declarations. (This is not yet complete as it will not yet stop the compilation process if these errors are found)

Fix one more bug - upper_bound() works a little differently to what we want!

Fix more bugs in dsymtable_c (real semantics of std::multimap::lower_bound is not what was assumed!)

Fix counting bug in dsymbtable_c

Use duplicate symtable instead of symtable for enum constant value table (this will later allow us to detect semantic errors in IEC 61131-3 source code)

Move the enumerated_value_symtable to fill_candidate_datatypes_c, since it is only used there!

Make search_base_type_c a singleton!

Start datatype checking of variable declarations (for now, only seting symbol.datatype of enumerations)

Do datatype checking of enum values defined inside anonymous enumeration types (i.e. enum types defined inside a VAR ... END_VAR daclaration).

Added support for testing BCD value validity in BCD_TO_UINT function

Fixed bug in DATE_AND_TIME_TO_TIME_OF_DAY and DATE_AND_TIME_TO_DATE when date and time is before 1970-01-01-00:00:00

Fix warning message when declaring global variables in configuration

Removed unused variable

Replacing libc time functions for date <-> timespec translation by platform and localtime independant implementation

Removed files generedted by autoconf, should not be in repo

Fixed timegm usage incompatible with mingw, reverted to mktime in case mingw is detected

Fix in accessor undefined init methods for function block global instances

Fix undefined function toupper in iec_std_lib

Adding support for declaring function block instances as global and external variables

Fix DATE conversions standard functions

Fix definition of BCD to ANY_UINT and ANY_UINT to BCD conversion standard functions

Fix indentation in SFC SL qualifier code generated

Fix indentation and unused variable warning in SFC generated code

Fix pragma with double bracket token stripping

Fix some warning about loss of precision data in iec_std_lib.h file.

Fix typo.

Remove deprecated class search_constant_type_c

replace call to search_constant_type_c with symbol.datatype

Removing several warning in iec_std_lib.h

Code formating only.

Fix stage4 for compare expressions.

Prepare to delete search_constant_type_c -> Move the static variables from search_constant_type_c to get_datatype_info_c

Remove no longer needed search_il_operand_type_c

Also force_narrow IL instructions inside IL expressions, i.e. inside parenthesis.

Correctly generate C code for IL expressions, i.e. IL instructions inside parenthesis.

Fix bug when handling IL expressions (i.e. IL instructions inside parenthesis).

Delete debugging code, introduced by mistake in previous commit.

Fix handling of IL parenthesized expressions in generate_c_il_c

Fix processing of TIME literals (submited by Andreas)

Fix flow control analysis of IL simple instructions (i.e. IL instructions inside parenthises!)

Comment out invalid assertion.

Code cleanup: get the datatype of each entity off symbol->datatype (set in stage3 datatype checking), instead of determining it again in stage4. (NOTE: handling of IL parenthesized expressions is not working! Will be fixed later.)

Major code cleanup: IL code generation now uses symbol.datatype (filled in during stage3 data type checking) instead of determining the symbol's datatype by itself.

Do not repeat narrow algorithm for ST code, and better comments.

New visitor classes missing from previous commit.

Remove line printing debug info.

Add classes to print status of AST (use only for debugging!)

Remove all remaining NULL (undefined) datatypes from IL code.

Move is_datatype_valid/equal() to get_datatype_info_c

Fix bug related to support of SAFE datatypes.

Set datatype of il_intruction_c objects containing an ST operator.

Delete unused variables.

Use doubly linked connections for flow control graph (will be used later).

Remove deprecated search_expression_type_c

Deprecate use of search_expression_type_c (prepare for complete removal!).

Deprecate use of search_expression_type_c (prepare for complete removal!)

Deprecating use of search_expression_type_c, so it may later be deleted!

Merge

Add new get_datatype_info_c (preparing to remove search_expression_type_c)

Delete declaration of unused & undeclared functions.

Delete class elements that are not used (clean up code).

Add check whether external var matches to global var.

Also check FB passed as parameters in FB/Function calls (Thanks Andreas!)

Minor changes needed to build with pedantic flag.

Also check external/global variable consistency in configurations and FBs.

add method for printing class_name. USE ONLY FOR DEBUGING!

store POU reference to POU declaration instead of global var declarations.

Start declaration check class.

Start declaration check class.

Adjust coding style.

list_c: initial capacity. ERROR_MSG(msg,...) supports optional arguments now.

Deleting datatype checks no longer needed (with a view of making search_expression_type_c redundant).

Start adding support for data type checking of enums.

Remove comment no longer valid since introduction of constant folding.

Add some comments.

Update configure script.

More precise handling of const value status.

Fix bug in checking array ranges.

Add more info to error messages.

Allow the use of PRId64, PRIu64 and PRIx64 printf formating macros globally.

Merge.

Fix constant folding: now handles INT_MIN and neg_integer_c correctly.

Replace test bison version without bash regular expression.
Tested on OS X 10.8 - Linux Ubuntu 12.4 - MinGW.

Fix Segmentation Fault FB var declaration in a single list.

Add some comments.

Fix some warning about loss of precision data in iec_std_lib.h file.

Fix bug with NE function for STRING variables

Fix bug in code for pragma with double brackets

Merged

Adding support for direct array declaration in structure element declaration

Added double curly braces for pragma (kept single curly braces for compatibility). Added macro def and undef surrounding pragma to simplify user code. Moved useless comment from generated code back to code generator.

Fix bug with task interval using fixed_point value for duration items

Adding error message when task interval value is not supported

Adding error message when task interval value is not supported

Fix bug SFC action index declarations were different in POUS.c and VARIABLES.csv when boolean variables are used as action name in step action association

Fix generated code when using boolean variable as action name in step action association

Fix bug in SFC generated code. Action state was declared in the list of variables to debug, but wasn't stored using structure with flags. This error had side effects that makes Beremiz debug crash.

Adding support for P0 and P1 qualifiers and fixing code generated for SL qualifier

Fixed VARIABLES.csv, was broken when using enumrated types

Merge with c2546c6e0cfa5ad55b288895f17f1b9f2a228f3b

Moving function to correct location (formating only).

Fix bug in code generation for FB IN_OUT structured parameter.

Add check bison version in configure.ac file.
To build correctly matiec we need bison greater or equals than 2.4 version.
Now the "configure" script is able to check if system has correctly requirements.

Remove remaining signed/unsigned comparison error messages when compiling.

Remove warning about comparisons between int and unsigned int.

Support for data types of STEP.T and STEP.X in SFCs

Remove dead code.

Change code formatting (alignment)

Aloow use of SFC STEPs as variables.

Check lvalues in expressions passed to Function/FB IN parameters.

Fix comment (bug found by Manuele).

Remove warning about redefining "__STDC_LIMIT_MACROS" (bug found by Manuele).

Constant folding for IL.

update comments.

fix bug: remove REAL from candidate datatypes when real constant has overflowed.

signed integer limits do not affect ANY_INT constant values.

comment out un-used code.

cleaning up code. Changing HUGE_VAL to INFINITY.

Cleaning up the code.

Clean up the code a little.

Fixing includes to define INTxx_MAX etc...

Add remove_from_candidate_datatype_list method using constant_folding results.

fix typo.

fix parsing of non base 10 constant values.

determine const value of hex, octal and bin literals correctly.

fix array bounds check.

Fix stupid typos (in calculating array dimension)!

Add file missing from previous commit.

Add ERROR_MSG macro && move extract_XXX() functions to constant_folding.cc

Add independent extract_integer() function (preparing to remove extract_XXX() from absyntax_utils.cc)

Clean up code (remove parsing of integers in stage 4).

Fix literal MACRO gcc compliant.

Add 'dimension' parameter to subrange_c, fill it correctly, and use it.

extract_int64() must not handle negation operation (was doing it incorrectly for INT64_MIN!)

Add support for -INT64_MIN values in literals.

Make compiler portable (do not assume int64_t is long long int)

Add missing set overflow flag.

Fix extract_integer_value.
Now we handle signed and unsigned in different mode.
(Thanks to Andreas)

Fix typo (thanks Manuele)

Remove potential access to NULL pointer.

fix error message.

Fix array index bound check to consider uint64 indexes/limits.

Fix structure initialize.

Add check array out of bound.

Code for debugging const_value annotations in abstract syntax tree.

Fix 'overflow' detection for real64.

small bug fix.

Fix compare expression in constat folding class.

Fix extract_real (thanks Manuele), and add check for overflow.

cleaning up the code...

Fix remaining overflow checks.

remove incorrect include file.

Correctly implement MOD operation and overflow checks (still missing uint * / MOD).

Re-insert errno=0 before calling strtoXX() (thanks go to Manuele)

cosmetic changes.

Add data structure for storing overflow of constant values.

make the compiler platform independent (i.e. no longer assume sizeof(double)==8).

create extract_real_value() in absyntax_utils. NOTE: overflows not yet handled!

Update constant folding: fixing minor bug.

Fix a few bugs of previous commit.

Start constant_folding class.

little typo in last commited code
add if(is_bool_type(sym)) this->bool_type->accept(*this) in generate_c_il_c::visit(il_default_variable_c*)
to get .BOOLvar instead of .FALSEvar resp. .TRUEvar ..

Change return data type of array_dimension_iterator_c.next()

Fix SFC stage4 error.

Renamed class, remove unused code, delete allocated objects.

Start sematinc range check class.

Located variables may have other data types besides ANY_BIT.

Add verify_is_lvalue to control_variable in for_statement.

Remove useless code, and replace with assertion.

Fix bug: initialise un-initialised variable.

Delete incorrect comment.

Add some comments...

Add high level comments.

Fix comment.

Fix the previous commit: check for errors in expressions used as subscripts.

Fix data type check array subscript field.

Merge changes.

Fix parsing os TIME literals & rename the extract_integer() function.

Fix generation of output for iec2iec.

Do not compile deleted files...

Do not compile deleted files...

ReDelete files - used in old method of supporting standard functions.

Remove file (used for old method of supporting standard functions).

Add TODO list!

Delete unecessary variable.

Fix __dt_to_timespec primitive function.
Set tm_isdst = 0 to disable DayLight Savig Time.

Fix __dt_to_string primitive function.

Fix code generation about __INIT_GLOBAL_LOCATED.

Change constants into enums.

Add lvalue checking for IL function and FB invocations.

Fix comment.

Add clarifying comment.

Remove access to NULL pointer.

Make temporary fix to is_complex() method.

Fix comment. (thanks go to Manuele for pointing it put).

Stop lvalue checks after finding an error in the expression.

Remove erroneous check for S1 and R1, and add missing declrataion.

Start implement lvalue check in IL instruction.

Add lvalue check on fb invocation.

Literals are also part of expressions!

Implement check_assignment_to_expression in lvalue_check_c class.

Remove potential access to NULL pointer.

Start having nicer stage 4 error messages.

Improve usability command line under windows.

Ignore trailing EOLs when determining symbol location.
(Makes for niver error messages)

Add comment.

Fix Segmentation fault in check_assignment_to_output lvalue method.

Remove deprecated status for ANYTIME operations.

Produce similar error messages in stage2 and stage3.

Fix bug when handling code with data type errors.

Fix printing of data type errors in while and repeat statements.

Add lvalue check for non formal function invocations.

Fixing check for assingment to FOR control variables.

Moving get_var_name_c into its own file.

Fixing check for assignment to output variables.

Fixing some bugs in lvalue checking (other bugs remain - to be fixed later)

Add lvalue check class.

Determine the modifiers (CONST, REATAIN) used when declaring a variable.

Fix typo in comparison expression.

Removing code from search_varfb_instance_type_c (use search_var_instance_decl_c instead).
(Preparing to delete search_varfb_instance_type_c in the future!)

Fix bug by expanding permissible data input of search_var_instance_decl_c
(this will also prepare us for removing search_varfb_instance_type_c in the future)

Edit formating and delete unused code.

Start data type checking of var declarations (including direct variables!)

Delete incorrect comments I had inserted previously (confusing EQ and NE functions)

merging with Lauren't changeset.

merge with Laurent's changeset (essentially ignore all changes).

merge with Laurent's changeset (essentially, ignore all changes).

merging with Laurent's changes.

merging with Laurent's change.

merging with Laurent's revision 55b074ea7255 (essentially ignoring all changes)

Add coment warning about incorrect implementation of the NE standard function.

merging with Laurent's patch.

Print correct error message when handling IL function calls.

Edit error message.

Add EXPT widen table.

Some stupid code cleanups.

Some code cleanups.

Clean up the code.

Fix error messages of il function calls - it now prints out location info of first parameter.

Clean code for printing errors in expressions.

Clean code for comparison operations & operators.

Cleaning up XORN, ANDN, and ORN operator code.

Cleaning up some code.

Add 'widen' tables for AND, OR and XOR operations.

Add MOD widening table, and some code clean-ups.

Re-organizing the code.

Change setting of deprecated_operation from fill to narrow_candidate_datatypes_c.
Expand widening tables for ADD, SUB, MUL and DIV.

Clarify some details in the comments.

Add check widening status for IL operator.
Fix check widening status for ST expression.

Fix remaining 'widen' tables.

Fix some 'widen' table entries.

Add a TODO comment.

Clean up code, and add support for 'safe' version of literals.

Bringing comment up to date.

Semantic verification of NOT operator.

Fix bug in building structured variables.

Delete unecessary copy_candidate_datatype_list() function.

Delete no longer needed copy_candidate_datatype_list() function.

Narrow IL lists twice, in order to handle JMP to labels before the JMP itself.

Do not allow duplicate values in candidate datatype list.

Handle JMP to labels preceding the JMP instruction itself.

Correctly handle JMP and RET IL operators in flow control analysis.

Fix filling candidate datatypes of JMP operations

Remove spurious printf()s, used during debugging session.

Add missing files.

Continue adding support for semantic verification of JMP and RET.

iAdd warning for deprecated operations.

Change prev_il_instruction to a vector<>

Some small cleanups.

Add support for semantic verification of CALC, CALCN, etc..

Finish support for semantic verification of IL paranthesised expressions.

More changes for support of semantic verification of il_expressions

Start of support for IL expressions (parenthesis).

Cleaning up the code.

Fix a few more bugs related to FB/function calls in IL.

Semantic verification: Add compatibility check for parameter direction in function invocation.

Add support for semantic verification for implict FB calls in IL (e.g. PV ton_var)

Start of support for semantic verification of FB calls in IL using special IL instructions.

Delete some comments.

Change name help function.

Update comments on general architecture.

Narrow IL code backwords, so as to correctly handle invocations to overloaded functions from IL code.

Code cleanup.

Add printing of semantic errors when calling FB from IL.

Fix typo error in some il visit in fill_candidate_datatypes_c class.

Add semantic verification of FB calls in IL (not yet complete - missing printing of errors!)

Add support for semantic verification of function calls in IL.

Add TODO comment, and delete unused debugging code.

Delete un-used code.

Change negation expression (neg_expression_c) to only allow signed data types.

Move elementary_c::to_string() to datatype_functions.cc/hh

Add, to types symbol table, string datatypes with limited length (my_string_type: STRING[33]) (Thanks Andreas!)

Correctly return the initial value of a string datatype, with limited length (STRING[33] := 'hello')

More detailed error messages for FB invocations in ST.