tree 319a18bcee1689daad880e62848e306a0051eb34
parent 7a5fd27c550c1be8b4385f71e40b010e8b51e46a
parent f2e5ea768b095644932c010824a435379975a6ca
author Treehugger Robot <treehugger-gerrit@google.com> 1554254246 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1554254246 +0000

Merge "Annotate intended unsigned overflow"