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.