Fix FindOutgoingArgsSize() for cases with stack entries below the main allocation point; suppress signedness annotations on partial stores that do not overwrite the sign bit.

Infer that registers with MEDS type of data or code ptr must be unsigned, handle 10-byte FPU operands.

Expand local variable tables to include incoming argument, callee-saved reg, and return address locations.

detection that emits TRUNCATION annotations.

Fix incomplete assignment operators used in copy constructors; fix algorithm for detecting aliased mem writes in global DU chains.

Fix RTLs for SCAS and CMPS; eliminate spurious ERROR messages for LEA RTLs; reduce log messages to speed up; don't call profiler analysis methods if there are no profiler annotations.

Do not treat calls to address 0 as calls, because these are only found in unreachable basic blocks that gcc failed to remove.

Fix infinite loops and crashes related to unreachable blocks and SSE/MMX instructions and registers.