Add SENTINEL annotations for compare or test instructions in loops that don't use the last value of the induction var.

Increase memory annotations by tracing to the initial value for address regs

See merge request allnp/SMPStaticAnalyzer!14

Increase memory annotations by tracing to the initial value for address regs on memory access instructions that have no annotations.

Compute loop follow nodes better; separate follow node errors from more serious unstructured CFG errors.

Try to get STARS/IRDB to imitate STARS/IDA more closely on static memory operand processing to help move_globals.

Merge branch 'my_stars_improvements' of git.zephyr-software.com:allnp/SMPStaticAnalyzer into my_stars_improvements

My stars improvements

See merge request allnp/SMPStaticAnalyzer!13

Pack DefOrUse to save memory; delete redundant call to STAR_GetCmd() from STARS_IRDB_Instruction_t constructor.

additions to 1) print number of instructions and operands created, destroyed,  and leaked.  2) fixed MakeVoidPointer re-use issues.

Track min and max values written directly to global static vars, use in memory expresssion simplification; other memory analysis generalizations.

Minor fixes and speedups.

See merge request allnp/SMPStaticAnalyzer!12