[all-commits] [llvm/llvm-project] 09588e: [clang][bytecode] Fix an inconsistency with loop c...

[Timm Baeder via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 09588e93bbe486ce782de9fba604f5cd184ec446
      https://github.com/llvm/llvm-project/commit/09588e93bbe486ce782de9fba604f5cd184ec446
  Author: Timm Baeder <tbaeder at redhat.com>
  Date:   2025-04-13 (Sun, 13 Apr 2025)

  Changed paths:
    M clang/lib/AST/ByteCode/Compiler.cpp
    M clang/lib/AST/ByteCode/Compiler.h

  Log Message:
  -----------
  [clang][bytecode] Fix an inconsistency with loop condition jumps (#135530)

When emitting the jump for e.g. a for loop condition, we used to jump
out of the CondScope, leaving the scope initialized, because we skipped
the corresponding Destroy opcode. If that loop was in a loop itself,
that outer loop could then iterate once more, leading to us initializing
a scope that was still initialized.
Fix this by also destroying the scope after the EndLabel.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications