Commit 80a8428

authored

Rename checking state variables (checkedc#833)

* Rename OV to OriginalValue * Rename UEQ to EquivExprs * Rename G to SameValue * Add spec name comments to ObservedBounds, EquivExprs, SameValue, and OriginalValue

1 parent e57286b commit 80a8428Copy full SHA for 80a8428

2 files changed

+402

-367

lines changed

clang
- lib/Sema
  - SemaBounds.cpp
- test/CheckedC/inferred-bounds
  - equiv-expr-sets.c

2 files changed

+402

-367

lines changed

Comments

(0)

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Commit 80a8428

2 files changed

2 files changed

File tree

2 files changed

2 files changed

0 commit comments