1 /*===-- tolower.c ---------------------------------------------------------===//
2 //
3 //                     The KLEE Symbolic Virtual Machine
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===*/
9 
tolower(int ch)10 int tolower(int ch) {
11   if ( (unsigned int)(ch - 'A') < 26u )
12     ch -= 'A' - 'a';
13   return ch;
14 }
15