Compiler checks for result values