incorrect variables synthesis or expected behavior for simple adder function

Sorry if this is redundant or stupid, I was not able to find similar question on the forum or even Google. Actually, Google yielded some thread where the below code is quoted as a valid example o...