Merge branch 'add_libc_support' into 'master'

Break SMPFunction into 2 files to compile with reasonable memory.

See merge request !29

src/base/SMPFunction_support.h

+#ifndef SMPFunction_support
+#define SMPFunction_support
+using namespace std;
+
+#include <utility>
+#include <list>
+#include <set>
+#include <vector>
+#include <iterator>
+#include <algorithm>
+#include <iostream>
+#include <sstream>
+#include <iomanip>
+
+#include <cstring>
+#include <cstdint>
+#include <cstdlib>
+#include <cassert>
+
+#include "interfaces/SMPDBInterface.h"
+#include "base/SMPDataFlowAnalysis.h"
+#include "base/SMPFunction.h"
+#include "base/SMPBasicBlock.h"
+#include "base/SMPInstr.h"
+#include "base/SMPProgram.h"
+
+// Set to 1 for debugging output
+#define SMP_DEBUG 1
+#define SMP_DEBUG2 0   // verbose
+#define SMP_DEBUG3 0   // verbose
+#define SMP_DEBUG_CONTROLFLOW 0  // tells what processing stage is entered
+#define SMP_DEBUG_XOR 0
+#define SMP_DEBUG_CHUNKS 1  // tracking down tail chunks for functions
+#define SMP_DEBUG_FRAMEFIXUP 1
+#define SMP_DEBUG_FRAMEFIXUP_VERBOSE 0
+#define SMP_DEBUG_DATAFLOW 0
+#define SMP_DEBUG_DATAFLOW_VERBOSE 0
+#define SMP_DEBUG_TYPE_INFERENCE 0
+#define SMP_DEBUG_PROFILED_TYPE_INFERENCE 0
+#define SMP_DEBUG_FUNC 0
+#define SMP_DEBUG_FUNC_SAFETY 1
+#define SMP_VERBOSE_DEBUG_FUNC 0
+#define SMP_DEBUG_BUILD_RTL 1   // leave this on; serious errors reported
+#define SMP_DEBUG_UNINITIALIZED_SSA_NAMES 1
+#define SMP_WARN_UNUSED_DEFS 0
+#define SMP_DEBUG_SWITCH_TABLE_INFO 0
+#define SMP_OPTIMIZE_BLOCK_PROFILING 0
+#define SMP_AUDIT_STACK_POINTER_DELTAS 0
+#define SMP_COMPARE_IDA_STARS_STACK_POINTER_DELTAS 1
+#define STARS_AGGRESSIVE_SIGNEDNESS_PROPAGATION 1
+#define STARS_BUILD_LOOP_BITSET 1  // Build bitset in this->FuncLoopsByBlock
+#define STARS_DEBUG_FUNC_SCCP 0
+#define STARS_DEBUG_FUNC_SCCP_VERBOSE 1
+#define STARS_DEBUG_LOOP_INVARIANTS 0
+#define STARS_DEBUG_FPTR_SHADOW_LIST 0
+#define SPARK_EMIT_UNIV_QUANTIFIER_PRECONDITIONS 0  // Use for-all-i form of restrictions on memory ranges
+
+// For debugging purposes, only emit SPARK Ada for main().
+#define STARS_EMIT_ADA_FOR_MAIN_ONLY 0
+
+// Compute LVA/SSA or not? Turn it off for NICECAP demo on 31-JAN-2008
+#define SMP_COMPUTE_LVA_SSA 1
+
+// Use conditional type propagation on phi functions
+#define SMP_CONDITIONAL_TYPE_PROPAGATION 1
+
+// Kludges to fix IDA Pro 5.2 errors in cc1.ncexe
+#define SMP_IDAPRO52_WORKAROUND 0
+
+// Basic block number 0 is the top of the CFG.
+#define SMP_TOP_BLOCK 0 
+
+// Set SharedTailChunks to TRUE for entire printf family
+//  After we restructure the parent/tail structure of the database, this
+//  will go away.
+#define KLUDGE_VFPRINTF_FAMILY 0
+
+// C99 standard permits up to 127 arguments to a single function,
+//  but FORTRAN has no limit. We have encountered 290 in practice.
+#define STARS_MAX_ARGS_PER_FUNC 512
+
+
+#if 0
+// moved to idapro/STARSFunction.cpp 
+// Used for binary search by function number in SMPStaticAnalyzer.cpp
+//  to trigger debugging output and find which instruction in which
+//  function is causing a crash.
+bool SMPBinaryDebug = false;
+#endif
+
+using namespace std;
+
+
+// helper function to determine if an object is in a vector
+template <class T>
+static bool vector_exists(const T &item, const vector<T> &vec) {
+        for (std::size_t i = 0; i < vec.size(); ++i) {
+                if (vec[i] == item)
+                        return true;
+        }
+        return false;
+}
+
+
+
+
+#endif