[all-commits] [llvm/llvm-project] 2a0685: [-Wcompletion-handler] Fix a non-termination issue...

[Ziqing Luo via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 2a068507016e476893b6b1b9c55b255dbae5829e
      https://github.com/llvm/llvm-project/commit/2a068507016e476893b6b1b9c55b255dbae5829e
  Author: Ziqing Luo <ziqing at udel.edu>
  Date:   2024-01-26 (Fri, 26 Jan 2024)

  Changed paths:
    M clang/lib/Analysis/CalledOnceCheck.cpp
    M clang/test/SemaObjC/warn-called-once.m

  Log Message:
  -----------
  [-Wcompletion-handler] Fix a non-termination issue (#78380)

The Called-Once dataflow analysis could never terminate as a
consequence of non-monotonic update on states.  States of kind Escape
can override states leading to non-monotonic update.

This fix disallows the `Escape` state to override the `Reported`
state.

rdar://119671856