| /* Taxonomy Classification: 0000000100000152000010 */ | |
| /* | |
| * WRITE/READ 0 write | |
| * WHICH BOUND 0 upper | |
| * DATA TYPE 0 char | |
| * MEMORY LOCATION 0 stack | |
| * SCOPE 0 same | |
| * CONTAINER 0 no | |
| * POINTER 0 no | |
| * INDEX COMPLEXITY 1 variable | |
| * ADDRESS COMPLEXITY 0 constant | |
| * LENGTH COMPLEXITY 0 N/A | |
| * ADDRESS ALIAS 0 none | |
| * INDEX ALIAS 0 none | |
| * LOCAL CONTROL FLOW 0 none | |
| * SECONDARY CONTROL FLOW 1 if | |
| * LOOP STRUCTURE 5 non-standard do-while | |
| * LOOP COMPLEXITY 2 one | |
| * ASYNCHRONY 0 no | |
| * TAINT 0 no | |
| * RUNTIME ENV. DEPENDENCE 0 no | |
| * MAGNITUDE 0 no overflow | |
| * CONTINUOUS/DISCRETE 1 continuous | |
| * SIGNEDNESS 0 no | |
| */ | |
| /* | |
| Copyright 2005 Massachusetts Institute of Technology | |
| All rights reserved. | |
| Redistribution and use of software in source and binary forms, with or without | |
| modification, are permitted provided that the following conditions are met. | |
| - Redistributions of source code must retain the above copyright notice, | |
| this set of conditions and the disclaimer below. | |
| - Redistributions in binary form must reproduce the copyright notice, this | |
| set of conditions, and the disclaimer below in the documentation and/or | |
| other materials provided with the distribution. | |
| - Neither the name of the Massachusetts Institute of Technology nor the | |
| names of its contributors may be used to endorse or promote products | |
| derived from this software without specific prior written permission. | |
| THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS". | |
| ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED | |
| WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE | |
| DISCLAIMED. | |
| IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, | |
| INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, | |
| BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, | |
| DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF | |
| LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE | |
| OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF | |
| ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | |
| */ | |
| int main(int argc, char *argv[]) | |
| { | |
| int test_value; | |
| int loop_counter; | |
| char buf[10]; | |
| test_value = 9; | |
| loop_counter = 0; | |
| do | |
| { | |
| /* OK */ | |
| buf[loop_counter] = 'A'; | |
| loop_counter++; | |
| if (loop_counter > test_value) break; | |
| } | |
| while(1); | |
| return 0; | |
| } |