# CLEAN — LLVM (llvm/llvm)
Scanned 2026-03-30 for CWE-407 diamond recursion (O(2^D)).

## Scope

Sparse clone: `llvm/llvm/lib/` — Analysis/ (390 files), Support/, Transforms/.
No IR/ or CodeGen/ in this clone (Type.cpp, StructType, PointerType not present).

## Findings

- `Analysis/ScalarEvolution.cpp` — `Visited.insert(I)` at line 8747 is a BFS
  seed (worklist-based, not recursive); `PushDefUseChildren` checks `.second`
  correctly (line 4947). CLEAN.
- `Analysis/MemorySSAUpdater.cpp` — line 66 checks `.second`; line 50 is a
  seed. CLEAN.
- All `Transforms/Utils/` recursive worklist traversals (`LoopPeel`,
  `InlineFunction`, `MoveAutoInit`, `PredicateInfo`, `BypassSlowDivision`)
  check `!Visited.insert(...).second` before adding to worklist. CLEAN.
- `Analysis/TypeMetadataUtils.cpp` — no visited patterns at all. CLEAN.
- No `getSubtypes()`, `getBases()`, `bases()`, `superclasses()` type hierarchy
  iteration found in the available subset (IR/ not in clone).

**Result: No actionable O(2^D) diamond defects in available code.**
