From 58eb721ca7d1b36154a16dbff345affc4ddf56a3 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Tue, 15 Jan 2013 00:22:34 +0300 Subject: [PATCH] constraints: equiv: rename smatch_constraints.c to smatch_equiv.c When I wrote this I had more ambitious goals for smatch_constraints.c but now I want to do it a different way. It will just save a list of the estates which are the same, "a = b;" etc. Signed-off-by: Dan Carpenter --- Makefile | 2 +- smatch_constraints.c => smatch_equiv.c | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename smatch_constraints.c => smatch_equiv.c (100%) diff --git a/Makefile b/Makefile index 7b639bea..0bc4cb0f 100644 --- a/Makefile +++ b/Makefile @@ -47,7 +47,7 @@ SMATCH_FILES=smatch_flow.o smatch_conditions.o smatch_slist.o smatch_states.o \ smatch_modification_hooks.o smatch_extra.o smatch_estate.o smatch_math.o \ smatch_sval.o smatch_ranges.o smatch_implied.o smatch_ignore.o smatch_project.o \ smatch_tracker.o smatch_files.o smatch_expression_stacks.o \ - smatch_constraints.o smatch_buf_size.o smatch_capped.o smatch_db.o \ + smatch_equiv.o smatch_buf_size.o smatch_capped.o smatch_db.o \ smatch_expressions.o smatch_returns.o smatch_parse_call_math.o \ smatch_absolute.o smatch_param_limit.o smatch_param_filter.o \ smatch_param_set.o smatch_comparison.o diff --git a/smatch_constraints.c b/smatch_equiv.c similarity index 100% rename from smatch_constraints.c rename to smatch_equiv.c -- 2.11.4.GIT