US11216256B2 - Determining Based on Static Compiler Analysis That Execution of Compiler Code Would Result in Unacceptable Program Behavior