Commit 36d9f404 authored by Matthias Braun's avatar Matthias Braun
Browse files

tv: remove unused reserved_id

parent f0f29cc2
......@@ -1708,27 +1708,21 @@ void init_tarval_2(void)
{
tarval_bad->kind = k_tarval;
tarval_bad->mode = mode_BAD;
tarval_bad->value = INT_TO_PTR(resid_tarval_bad);
tarval_undefined->kind = k_tarval;
tarval_undefined->mode = mode_ANY;
tarval_undefined->value = INT_TO_PTR(resid_tarval_undefined);
tarval_b_true->kind = k_tarval;
tarval_b_true->mode = mode_b;
tarval_b_true->value = INT_TO_PTR(resid_tarval_b_true);
tarval_b_false->kind = k_tarval;
tarval_b_false->mode = mode_b;
tarval_b_false->value = INT_TO_PTR(resid_tarval_b_false);
tarval_unreachable->kind = k_tarval;
tarval_unreachable->mode = mode_X;
tarval_unreachable->value = INT_TO_PTR(resid_tarval_unreachable);
tarval_reachable->kind = k_tarval;
tarval_reachable->mode = mode_X;
tarval_reachable->value = INT_TO_PTR(resid_tarval_reachable);
/*
* assign output modes that are compatible with the
......
......@@ -33,16 +33,6 @@
#include "irmode.h"
#include "tv.h"
/** Debugging aid for the firmEvaluator: Marks for reserved tarvals values. */
enum reserved_id {
resid_tarval_bad = 1, /**< tarval_bad marker. */
resid_tarval_undefined = 2, /**< tarval_undefined marker. */
resid_tarval_b_false = 3, /**< tarval_b_false marker. */
resid_tarval_b_true = 4, /**< tarval_b_true marker. */
resid_tarval_unreachable = 5, /**< tarval_unreachable marker. */
resid_tarval_reachable = 6 /**< tarval_reachable marker. */
};
/**
* Initialization of the tarval module.
*
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment