Skip to content

Commit

Permalink
[TextAPI] Fix off-by-one error in the bit index extraction loop
Browse files Browse the repository at this point in the history
The loop in findNextSetBit() runs one pass more than it should.

On 64-bit architectures this does not cause a problem, but 32-bit
architectures mask the shift count to 5 bits which limits the number of
shifts inside a range of 0 to 31. Shifting by 32 has the same effect as
shifting by 0, so if the first bit in the set is 1, the function will return
with Index different from EndIndexVal. Because of that, range-based for
loops iterating thorough architectures will continue until hitting a 0 in
the set, resulting in n additional iterations, where n is equal to the
number of consecutive 1 bits at the start the set.

Ultimately TBDv1.WriteFile and TBDv2.WriteFile will output additional
architectures causing a failure in the unit tests.

Patch by Milos Stojanovic.

Differential Revision: https://reviews.llvm.org/D60198

llvm-svn: 357759
  • Loading branch information
petar-jovanovic committed Apr 5, 2019
1 parent afb54fd commit 2b2f35a
Showing 1 changed file with 3 additions and 4 deletions.
7 changes: 3 additions & 4 deletions llvm/include/llvm/TextAPI/MachO/ArchitectureSet.h
Expand Up @@ -69,11 +69,10 @@ class ArchitectureSet {
void findNextSetBit() {
if (Index == EndIndexVal)
return;

do {
if (*ArchSet & (1UL << ++Index))
while (++Index < sizeof(Ty) * 8) {
if (*ArchSet & (1UL << Index))
return;
} while (Index < sizeof(Ty) * 8);
}

Index = EndIndexVal;
}
Expand Down

0 comments on commit 2b2f35a

Please sign in to comment.