33  */

    34 

    35 /* NOTE: The algorithm implemented here assumes that flow control analysis has already been completed!

    36  *       BEFORE running this visitor, be sure to CALL the flow_control_analysis_c visitor!

    37  */

    38 

    39 

    40 /*

    41  *  Fill the candidate datatype list for all symbols that may legally 'have' a data type (e.g. variables, literals, function calls, expressions, etc.)

    42  * 

    43  *  The candidate datatype list will be filled with a list of all the data types that expression may legally take.

    44  *  For example, the very simple literal '0' (as in foo := 0), may represent a:

    45  *    BOOL, BYTE, WORD, DWORD, LWORD, USINT, SINT, UINT, INT, UDINT, DINT, ULINT, LINT (as well as the SAFE versions of these data tyes too!)