1*1f5207b7SJohn Levon /* 2*1f5207b7SJohn Levon * Copyright (C) 2014 Oracle. 3*1f5207b7SJohn Levon * 4*1f5207b7SJohn Levon * This program is free software; you can redistribute it and/or 5*1f5207b7SJohn Levon * modify it under the terms of the GNU General Public License 6*1f5207b7SJohn Levon * as published by the Free Software Foundation; either version 2 7*1f5207b7SJohn Levon * of the License, or (at your option) any later version. 8*1f5207b7SJohn Levon * 9*1f5207b7SJohn Levon * This program is distributed in the hope that it will be useful, 10*1f5207b7SJohn Levon * but WITHOUT ANY WARRANTY; without even the implied warranty of 11*1f5207b7SJohn Levon * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12*1f5207b7SJohn Levon * GNU General Public License for more details. 13*1f5207b7SJohn Levon * 14*1f5207b7SJohn Levon * You should have received a copy of the GNU General Public License 15*1f5207b7SJohn Levon * along with this program; if not, see http://www.gnu.org/copyleft/gpl.txt 16*1f5207b7SJohn Levon */ 17*1f5207b7SJohn Levon 18*1f5207b7SJohn Levon #include "smatch.h" 19*1f5207b7SJohn Levon 20*1f5207b7SJohn Levon static int my_id; 21*1f5207b7SJohn Levon match_if_stmt(struct statement * stmt)22*1f5207b7SJohn Levonstatic void match_if_stmt(struct statement *stmt) 23*1f5207b7SJohn Levon { 24*1f5207b7SJohn Levon if (__inline_fn) 25*1f5207b7SJohn Levon return; 26*1f5207b7SJohn Levon if (stmt->type != STMT_IF) 27*1f5207b7SJohn Levon return; 28*1f5207b7SJohn Levon if (stmt->if_true->type == STMT_COMPOUND) 29*1f5207b7SJohn Levon return; 30*1f5207b7SJohn Levon if (get_macro_name(stmt->pos)) 31*1f5207b7SJohn Levon return; 32*1f5207b7SJohn Levon if (stmt->pos.pos != stmt->if_true->pos.pos) 33*1f5207b7SJohn Levon return; 34*1f5207b7SJohn Levon sm_warning("if statement not indented"); 35*1f5207b7SJohn Levon } 36*1f5207b7SJohn Levon match_for_stmt(struct statement * stmt)37*1f5207b7SJohn Levonstatic void match_for_stmt(struct statement *stmt) 38*1f5207b7SJohn Levon { 39*1f5207b7SJohn Levon if (__inline_fn) 40*1f5207b7SJohn Levon return; 41*1f5207b7SJohn Levon if (stmt->type != STMT_ITERATOR) 42*1f5207b7SJohn Levon return; 43*1f5207b7SJohn Levon if (stmt->iterator_statement->type == STMT_COMPOUND) 44*1f5207b7SJohn Levon return; 45*1f5207b7SJohn Levon if (get_macro_name(stmt->pos)) 46*1f5207b7SJohn Levon return; 47*1f5207b7SJohn Levon if (stmt->pos.pos != stmt->iterator_statement->pos.pos) 48*1f5207b7SJohn Levon return; 49*1f5207b7SJohn Levon sm_warning("for statement not indented"); 50*1f5207b7SJohn Levon } 51*1f5207b7SJohn Levon check_no_if_block(int id)52*1f5207b7SJohn Levonvoid check_no_if_block(int id) 53*1f5207b7SJohn Levon { 54*1f5207b7SJohn Levon my_id = id; 55*1f5207b7SJohn Levon 56*1f5207b7SJohn Levon add_hook(&match_if_stmt, STMT_HOOK); 57*1f5207b7SJohn Levon add_hook(&match_for_stmt, STMT_HOOK); 58*1f5207b7SJohn Levon } 59