1

/*

     2

 *  matiec - a compiler for the programming languages defined in IEC 61131-3

     3

 *

     4

 *  Copyright (C) 2003-2011  Mario de Sousa (msousa@fe.up.pt)

     5

 *  Copyright (C) 2012       Manuele Conti (conti.ma@alice.it)

     6

 *

     7

 *  This program is free software: you can redistribute it and/or modify

     8

 *  it under the terms of the GNU General Public License as published by

     9

 *  the Free Software Foundation, either version 3 of the License, or

    10

 *  (at your option) any later version.

    11

 *

    12

 *  This program is distributed in the hope that it will be useful,

    13

 *  but WITHOUT ANY WARRANTY; without even the implied warranty of

    14

 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

    15

 *  GNU General Public License for more details.

    16

 *

    17

 *  You should have received a copy of the GNU General Public License

    18

 *  along with this program.  If not, see <http://www.gnu.org/licenses/>.

    19

 *

    20

 *

    21

 * This code is made available on the understanding that it will not be

    22

 * used in safety-critical situations without a full and competent review.

    23

 */

    24

    25

/*

    26

 * An IEC 61131-3 compiler.

    27

 *

    28

 * Based on the

    29

 * FINAL DRAFT - IEC 61131-3, 2nd Ed. (2001-12-10)

    30

 *

    31

 */

    32

    33

    34

    35

    36

    37

/* Do constant folding...

    38

 *

    39

 * I.e., Determine the value of all expressions in which only constant values (i.e. literals) are used.

    40

 * The (constant) result of each operation is stored (annotated) in the respective operation symbol 

    41

 * (e.g.: add_expression_c) in the abstract syntax tree,

    42

 *

    43

 * For example:

    44

 *       2 + 3         -> the constant value '5'    is stored in the add_expression_c symbol.

    45

 *       22.2 - 5.0    -> the constant value '17.2' is stored in the add_expression_c symbol.

    46

 *       etc...

    47

 *

    48

 *

    49

 * NOTE 1 

    50

 *      Some operations and constants can have multiple data types. For example,

    51

 *        1 AND 0

    52

 *      may be either a BOOL, BYTE, WORD or LWORD.

    53

 *

    54

 *      The same happens with 

    55

 *        1 + 2

    56

 *      which may be signed (e.g. INT) or unsigned (UINT)

    57

 *

    58

 *      For the above reason, instead of storing a single constant value, we actually store 4:

    59

 *        - bool

    60

 *        - uint64

    61

 *        -  int64

    62

 *        - real64

    63

 *

    64

 *      Additionally, since the result of an operation may result in an overflow, we actually

    65

 *      store the result inside a struct (defined in absyntax.hh)

    66

 *

    67

 *             ** During stage 3 (semantic analysis/checking) we will be doing constant folding.

    68

 *              * That algorithm will anotate the abstract syntax tree with the result of operations

    69

 *              * on literals (i.e. 44 + 55 will store the result 99).

    70

 *              * Since the same source code (e.g. 1 + 0) may actually be a BOOL or an ANY_INT,

    71

 *              * or an ANY_BIT, we need to handle all possibilities, and determine the result of the

    72

 *              * operation assuming each type.

    73

 *              * For this reason, we have one entry for each possible type, with some expressions

    74

 *              * having more than one entry filled in!

    75

 *              **

    76

 *             typedef enum { cs_undefined,   // not defined --> const_value is not valid!

    77

 *                            cs_const_value, // const value is valid

    78

 *                            cs_overflow     // result produced overflow or underflow --> const_value is not valid!

    79

 *                          } const_status_t;

    80

 *    

    81

 *             typedef struct {

    82

 *                 const_status_t status;

    83

 *                 real64_t       value; 

    84

 *             } const_value_real64_t;

    85

 *             const_value_real64_t *const_value_real64; // when NULL --> UNDEFINED

    86

 *             

    87

 *             typedef struct {

    88

 *                 const_status_t status;

    89

 *                 int64_t        value; 

    90

 *             } const_value_int64_t;

    91

 *             const_value_int64_t *const_value_int64; // when NULL --> UNDEFINED

    92

 *             

    93

 *             typedef struct {

    94

 *                 const_status_t status;

    95

 *                 uint64_t       value; 

    96

 *             } const_value_uint64_t;

    97

 *             const_value_uint64_t *const_value_uint64; // when NULL --> UNDEFINED

    98

 *             

    99

 *             typedef struct {

   100

 *                 const_status_t status;

   101

 *                 bool           value; 

   102

 *             } const_value_bool_t;

   103

 *             const_value_bool_t *const_value_bool; // when NULL --> UNDEFINED

   104

 *

   105

 *

   106

 *

   107

 * NOTE 2 

   108

 *    This file does not print out any error messages!

   109

 *    We cannot really print out error messages when we find an overflow. Since each operation

   110

 *    (symbol in the absract syntax tree for that operation) will have up to 4 constant results,

   111

 *    it may happen that some of them overflow, while other do not.

   112

 *    We must wait for data type checking to determine the exact data type of each expression

   113

 *    before we can decide whether or not we should print out an overflow error message.

   114

 *

   115

 *    For this reason, this visitor merely annotates the abstract syntax tree, and leaves the

   116

 *    actuall printing of errors for the print_datatype_errors_c class!

   117

 */

   118

   119

#include "constant_folding.hh"

   120

#include <limits>

   121

#include <math.h> /* required for pow function, and HUGE_VAL, HUGE_VALF, HUGE_VALL */

   122

#include <stdlib.h> /* required for malloc() */

   123

   124

   125

#include <string.h>  /* required for strlen() */

   126

// #include <stdlib.h>  /* required for atoi() */

   127

#include <errno.h>   /* required for errno */

   128

   129

#include <../main.hh>         /* required for UINT64_MAX, INT64_MAX, INT64_MIN, ... */

   130

   131

   132

   133

   134

   135

   136

#define FIRST_(symbol1, symbol2) (((symbol1)->first_order < (symbol2)->first_order)   ? (symbol1) : (symbol2))

   137

#define  LAST_(symbol1, symbol2) (((symbol1)->last_order  > (symbol2)->last_order)    ? (symbol1) : (symbol2))

   138

   139

#define STAGE3_ERROR(error_level, symbol1, symbol2, ...) {                                                                  \

   140

  if (current_display_error_level >= error_level) {                                                                         \

   141

    fprintf(stderr, "%s:%d-%d..%d-%d: error: ",                                                                             \

   142

            FIRST_(symbol1,symbol2)->first_file, FIRST_(symbol1,symbol2)->first_line, FIRST_(symbol1,symbol2)->first_column,\

   143

                                                 LAST_(symbol1,symbol2) ->last_line,  LAST_(symbol1,symbol2) ->last_column);\

   144

    fprintf(stderr, __VA_ARGS__);                                                                                           \

   145

    fprintf(stderr, "\n");                                                                                                  \

   146

    error_count++;                                                                                                     \

   147

  }                                                                                                                         \

   148

}

   149

   150

   151

#define STAGE3_WARNING(symbol1, symbol2, ...) {                                                                             \

   152

    fprintf(stderr, "%s:%d-%d..%d-%d: warning: ",                                                                           \

   153

            FIRST_(symbol1,symbol2)->first_file, FIRST_(symbol1,symbol2)->first_line, FIRST_(symbol1,symbol2)->first_column,\

   154

                                                 LAST_(symbol1,symbol2) ->last_line,  LAST_(symbol1,symbol2) ->last_column);\

   155

    fprintf(stderr, __VA_ARGS__);                                                                                           \

   156

    fprintf(stderr, "\n");                                                                                                  \

   157

    warning_found = true;                                                                                                   \

   158

}

   159

   160

   161

   162

   163

   164

   165

   166

   167

   168

   169

   170

   171

#define NEW_CVALUE(dtype, symbol) \

   172

 (symbol->const_value_##dtype) = new(symbol_c::const_value_##dtype##_t); \

   173

 if ((symbol->const_value_##dtype) == NULL) ERROR; \

   174

 (symbol->const_value_##dtype)->status = symbol_c::cs_undefined;

   175

   176

#define SET_CVALUE(dtype, symbol, new_value)  ((symbol)->const_value_##dtype->value) = new_value; ((symbol)->const_value_##dtype->status) = symbol_c::cs_const_value;

   177

#define GET_CVALUE(dtype, symbol)             ((symbol)->const_value_##dtype->value)

   178

#define SET_OVFLOW(dtype, symbol)             ((symbol)->const_value_##dtype->status) = symbol_c::cs_overflow

   179

    /* The following test is correct in the presence of a NULL pointer, as the logical evaluation will be suspended as soon as the first condition is false! */

   180

#define VALID_CVALUE(dtype, symbol)           ((NULL != (symbol)->const_value_##dtype) && (symbol_c::cs_const_value == (symbol)->const_value_##dtype->status))

   181

#define ISZERO_CVALUE(dtype, symbol)          ((VALID_CVALUE(dtype, symbol)) && (GET_CVALUE(dtype, symbol) == 0))

   182

   183

#define DO_BINARY_OPER(dtype, oper, otype)\

   184

	if (VALID_CVALUE(dtype, symbol->r_exp) && VALID_CVALUE(dtype, symbol->l_exp)) {                                \

   185

		NEW_CVALUE(otype, symbol);                                                                             \

   186

		SET_CVALUE(otype, symbol, GET_CVALUE(dtype, symbol->l_exp) oper GET_CVALUE(dtype, symbol->r_exp));     \

   187

	}

   188

   189

#define DO_UNARY_OPER(dtype, oper, arg)\

   190

	if (VALID_CVALUE(dtype, arg)) {                                                                                \

   191

		NEW_CVALUE(dtype, symbol);                                                                             \

   192

		SET_CVALUE(dtype, symbol, oper GET_CVALUE(dtype, arg));                                                \

   193

	}

   194

   195

   196

   197

   198

   199

/***********************************************************************/

   200

/***********************************************************************/

   201

/***********************************************************************/

   202

/***            convert string to numerical value                    ***/

   203

/***********************************************************************/

   204

/***********************************************************************/

   205

/***********************************************************************/

   206

   207

   208

   209

  /* To allow the compiler to be portable, we cannot assume that int64_t is mapped onto long long int,

   210

   * so we cannot call strtoll() and strtoull() in extract_int64() and extract_uint64().

   211

   *

   212

   * So, we create our own strtouint64() and strtoint64() functions.

   213

   * (We actually call them matiec_strtoint64() so they will not clash with any function

   214

   *  that may be added to the standard library in the future).

   215

   * We actually create several of each, and let the compiler choose which is the correct one,

   216

   * by having it resolve the call to the overloaded function. For the C++ compiler to be able

   217

   * to resolve this ambiguity, we need to add a dummy parameter to each function!

   218

   *

   219

   * TODO: support platforms in which int64_t is mapped onto int !! Is this really needed?

   220

   */

   221

static  int64_t matiec_strtoint64 (         long      int *dummy, const char *nptr, char **endptr, int base) {return strtol  (nptr, endptr, base);}

   222

static  int64_t matiec_strtoint64 (         long long int *dummy, const char *nptr, char **endptr, int base) {return strtoll (nptr, endptr, base);}

   223

   224

static uint64_t matiec_strtouint64(unsigned long      int *dummy, const char *nptr, char **endptr, int base) {return strtoul (nptr, endptr, base);}

   225

static uint64_t matiec_strtouint64(unsigned long long int *dummy, const char *nptr, char **endptr, int base) {return strtoull(nptr, endptr, base);}

   226

   227

   228

/* extract the value of an integer from an integer_c object !! */

   229

/* NOTE: it must ignore underscores! */

   230

/* NOTE: To follow the basic structure used throughout the compiler's code, we should really be

   231

 * writing this as a visitor_c (and do away with the dynamic casts!), but since we only have 3 distinct 

   232

 * symbol class types to handle, it is probably easier to read if we write it as a standard function... 

   233

 */

   234

int64_t extract_int64_value(symbol_c *sym, bool *overflow) {

   235

  int64_t      ret;

   236

  std::string  str = "";

   237

  char        *endptr;

   238

  const char  *value;

   239

  int          base;

   240

  integer_c         *integer;

   241

  hex_integer_c     *hex_integer;

   242

  octal_integer_c   *octal_integer;

   243

  binary_integer_c  *binary_integer;

   244

   245

   if       ((integer        = dynamic_cast<integer_c *>(sym))        != NULL) {value = integer       ->value + 0; base = 10;}

   246

   else  if ((hex_integer    = dynamic_cast<hex_integer_c *>(sym))    != NULL) {value = hex_integer   ->value + 3; base = 16;}

   247

   else  if ((octal_integer  = dynamic_cast<octal_integer_c *>(sym))  != NULL) {value = octal_integer ->value + 2; base =  8;}

   248

   else  if ((binary_integer = dynamic_cast<binary_integer_c *>(sym)) != NULL) {value = binary_integer->value + 2; base =  2;}

   249

   else  ERROR;

   250

   251

  for(unsigned int i = 0; i < strlen(value); i++)

   252

    if (value[i] != '_')  str += value[i];

   253

   254

  errno = 0; // since strtoXX() may legally return 0, we must set errno to 0 to detect errors correctly!

   255

  ret = matiec_strtoint64((int64_t *)NULL, str.c_str(), &endptr, base);

   256

  if (overflow != NULL)

   257

    *overflow = (errno == ERANGE);

   258

  if (((errno != 0) && (errno != ERANGE)) || (*endptr != '\0'))

   259

    ERROR;

   260

   261

  return ret;

   262

}

   263

   264

   265

   266

uint64_t extract_uint64_value(symbol_c *sym, bool *overflow) {

   267

  uint64_t     ret;

   268

  std::string  str = "";

   269

  char        *endptr;

   270

  const char  *value;

   271

  int          base;

   272

  integer_c         *integer;

   273

  hex_integer_c     *hex_integer;

   274

  octal_integer_c   *octal_integer;

   275

  binary_integer_c  *binary_integer;

   276

   277

   if       ((integer        = dynamic_cast<integer_c *>(sym))        != NULL) {value = integer       ->value + 0; base = 10;}

   278

   else  if ((hex_integer    = dynamic_cast<hex_integer_c *>(sym))    != NULL) {value = hex_integer   ->value + 3; base = 16;}

   279

   else  if ((octal_integer  = dynamic_cast<octal_integer_c *>(sym))  != NULL) {value = octal_integer ->value + 2; base =  8;}

   280

   else  if ((binary_integer = dynamic_cast<binary_integer_c *>(sym)) != NULL) {value = binary_integer->value + 2; base =  2;}

   281

   else  ERROR;

   282

   283

  for(unsigned int i = 0; i < strlen(value); i++)

   284

    if (value[i] != '_')  str += value[i];

   285

   286

  errno = 0; // since strtoXX() may legally return 0, we must set errno to 0 to detect errors correctly!

   287

  ret = matiec_strtouint64((uint64_t *)NULL, str.c_str(), &endptr, base);

   288

  if (overflow != NULL)

   289

    *overflow = (errno == ERANGE);

   290

  if (((errno != 0) && (errno != ERANGE)) || (*endptr != '\0'))

   291

    ERROR;

   292

   293

  return ret;

   294

}

   295

   296

   297

   298

/* extract the value of a real from an real_c object !! */

   299

/* NOTE: it must ignore underscores! */

   300

/* From iec_bison.yy

   301

 *  real:

   302

 *   real_token		{$$ = new real_c($1, locloc(@$));}

   303

 * | fixed_point_token	{$$ = new real_c($1, locloc(@$));}

   304

 *

   305

 * From iec_flex.ll

   306

 * {real}			{yylval.ID=strdup(yytext); return real_token;}

   307

 * {fixed_point}		{yylval.ID=strdup(yytext); return fixed_point_token;}

   308

 *

   309

 * real		{integer}\.{integer}{exponent}

   310

 * fixed_point		{integer}\.{integer}

   311

 * exponent        [Ee]([+-]?){integer}

   312

 * integer         {digit}((_?{digit})*)

   313

 */

   314

real64_t extract_real_value(symbol_c *sym, bool *overflow) {

   315

  std::string str = "";

   316

  real_c *real_sym;

   317

  char   *endptr;

   318

  real64_t ret;

   319

   320

  if ((real_sym = dynamic_cast<real_c *>(sym)) == NULL) ERROR;

   321

  for(unsigned int i = 0; i < strlen(real_sym->value); i++)

   322

    if (real_sym->value[i] != '_') str += real_sym->value[i];

   323

   324

  errno = 0; // since strtoXX() may legally return 0, we must set errno to 0 to detect errors correctly!

   325

  #if    (real64_t  == float)

   326

    ret = strtof(str.c_str(),  &endptr);

   327

  #elif  (real64_t  == double)

   328

    ret = strtod(str.c_str(),  &endptr);

   329

  #elif  (real64_t  == long_double)

   330

    ret = strtold(str.c_str(), &endptr);

   331

  #else 

   332

    #error Could not determine which data type is being used for real64_t (defined in absyntax.hh). Aborting!

   333

  #endif

   334

  if (overflow != NULL)

   335

    *overflow = (errno == ERANGE);

   336

  if (((errno != 0) && (errno != ERANGE)) || (*endptr != '\0'))

   337

    ERROR;

   338

   339

  return ret;

   340

}

   341

   342

   343

   344

   345

   346

/***********************************************************************/

   347

/***********************************************************************/

   348

/***********************************************************************/

   349

/***        Functions to check for overflow situation                ***/

   350

/***********************************************************************/

   351

/***********************************************************************/

   352

/***********************************************************************/

   353

   354

   355

/* NOTE:

   356

 *   Most of the conditions to detect overflows on signed and unsigned integer operations were adapted from

   357

 *   https://www.securecoding.cert.org/confluence/display/seccode/INT32-C.+Ensure+that+operations+on+signed+integers+do+not+result+in+overflow?showComments=false

   358

 *   https://www.securecoding.cert.org/confluence/display/seccode/INT30-C.+Ensure+that+unsigned+integer+operations+do+not+wrap

   359

 */

   360

   361

/* NOTE: If at all possible, all overflow tests are done by pre-condition tests, i.e. tests that 

   362

 *       can be run _before_ the operation is executed, and therefore without accessing the result!

   363

 *

   364

 *       The exception is for real/floating point values, that simply test if the result is NaN (not a number).

   365

 */

   366

   367

/* res = a + b */

   368

static void CHECK_OVERFLOW_uint64_SUM(symbol_c *res, symbol_c *a, symbol_c *b) {

   369

	if (!VALID_CVALUE(uint64, res))

   370

		return;

   371

	/* Test by post-condition: If sum is smaller than either operand => overflow! */

   372

	// if (GET_CVALUE(uint64, res) < GET_CVALUE(uint64, a))

   373

	/* Test by pre-condition: If (UINT64_MAX - a) < b => overflow! */

   374

	if ((UINT64_MAX - GET_CVALUE(uint64, a)) < GET_CVALUE(uint64, b))

   375

		SET_OVFLOW(uint64, res);

   376

}

   377

   378

   379

/* res = a - b */

   380

static void CHECK_OVERFLOW_uint64_SUB(symbol_c *res, symbol_c *a, symbol_c *b) {

   381

	if (!VALID_CVALUE(uint64, res))

   382

		return;

   383

	/* Test by post-condition: If diference is larger than a => overflow! */

   384

	// if (GET_CVALUE(uint64, res) > GET_CVALUE(uint64, a))

   385

	/* Test by pre-condition: if b > a => overflow! */

   386

	if (GET_CVALUE(uint64, b) > GET_CVALUE(uint64, a))

   387

		SET_OVFLOW(uint64, res);

   388

}

   389

   390

   391

/* res = a * b */

   392

static void CHECK_OVERFLOW_uint64_MUL(symbol_c *res, symbol_c *a, symbol_c *b) {

   393

	if (!VALID_CVALUE(uint64, res))

   394

		return;

   395

	/* Test by pre-condition: If (UINT64_MAX / a) < b => overflow! */

   396

	if ((UINT64_MAX / GET_CVALUE(uint64, a)) < GET_CVALUE(uint64, b))

   397

		SET_OVFLOW(uint64, res);

   398

}

   399

   400

   401

/* res = a / b */

   402

static void CHECK_OVERFLOW_uint64_DIV(symbol_c *res, symbol_c *a, symbol_c *b) {

   403

	if (!VALID_CVALUE(uint64, res))

   404

		return;

   405

	if (GET_CVALUE(uint64, b) == 0) /* division by zero! */

   406

		SET_OVFLOW(uint64, res);

   407

}

   408

   409

   410

/* res = a MOD b */

   411

static void CHECK_OVERFLOW_uint64_MOD(symbol_c *res, symbol_c *a, symbol_c *b) {

   412

	if (!VALID_CVALUE(uint64, res))

   413

		return;

   414

	/* no overflow condition exists, including division by zero, which IEC 61131-3 considers legal for MOD operation! */

   415

	if (false) 

   416

		SET_OVFLOW(uint64, res);

   417

}

   418

   419

   420

/* res = a + b */

   421

static void CHECK_OVERFLOW_int64_SUM(symbol_c *res, symbol_c *a_ptr, symbol_c *b_ptr) {

   422

	if (!VALID_CVALUE(int64, res))

   423

		return;

   424

	int64_t a = GET_CVALUE(int64, a_ptr);

   425

	int64_t b = GET_CVALUE(int64, b_ptr);

   426

	/* The following test is valid no matter what representation is being used (e.g. two's complement, etc...) */

   427

	if (((b > 0) && (a > (INT64_MAX - b)))

   428

	 || ((b < 0) && (a < (INT64_MIN - b))))

   429

		SET_OVFLOW(int64, res);

   430

}

   431

   432

   433

/* res = a - b */

   434

static void CHECK_OVERFLOW_int64_SUB(symbol_c *res, symbol_c *a_ptr, symbol_c *b_ptr) {

   435

	if (!VALID_CVALUE(int64, res))

   436

		return;

   437

	int64_t a = GET_CVALUE(int64, a_ptr);

   438

	int64_t b = GET_CVALUE(int64, b_ptr);

   439

	/* The following test is valid no matter what representation is being used (e.g. two's complement, etc...) */

   440

	if (((b > 0) && (a < (INT64_MIN + b)))

   441

	 || ((b < 0) && (a > (INT64_MAX + b))))

   442

		SET_OVFLOW(int64, res);

   443

}

   444

   445

   446

/* res = a * b */

   447

static void CHECK_OVERFLOW_int64_MUL(symbol_c *res, symbol_c *a_ptr, symbol_c *b_ptr) {

   448

	if (!VALID_CVALUE(int64, res))

   449

		return;

   450

	int64_t a = GET_CVALUE(int64, a_ptr);

   451

	int64_t b = GET_CVALUE(int64, b_ptr);

   452

	if (   ( (a > 0) &&  (b > 0) &&             (a > (INT64_MAX / b))) 

   453

	    || ( (a > 0) && !(b > 0) &&             (b < (INT64_MIN / a))) 

   454

	    || (!(a > 0) &&  (b > 0) &&             (a < (INT64_MIN / b))) 

   455

	    || (!(a > 0) && !(b > 0) && (a != 0) && (b < (INT64_MAX / a))))

   456

		SET_OVFLOW(int64, res);

   457

}

   458

   459

   460

/* res = a / b */

   461

static void CHECK_OVERFLOW_int64_DIV(symbol_c *res, symbol_c *a_ptr, symbol_c *b_ptr) {

   462

	if (!VALID_CVALUE(int64, res))

   463

		return;

   464

	int64_t a = GET_CVALUE(int64, a_ptr);

   465

	int64_t b = GET_CVALUE(int64, b_ptr);

   466

	if ((b == 0) || ((a == INT64_MIN) && (b == -1)))

   467

		SET_OVFLOW(int64, res);

   468

}

   469

   470

   471

/* res = a MOD b */

   472

static void CHECK_OVERFLOW_int64_MOD(symbol_c *res, symbol_c *a_ptr, symbol_c *b_ptr) {

   473

	if (!VALID_CVALUE(int64, res))

   474

		return;

   475

	int64_t a = GET_CVALUE(int64, a_ptr);

   476

	int64_t b = GET_CVALUE(int64, b_ptr);

   477

	/* IEC 61131-3 standard says IN1 MOD IN2 must be equivalent to

   478

	 *  IF (IN2 = 0) THEN OUT:=0 ; ELSE OUT:=IN1 - (IN1/IN2)*IN2 ; END_IF

   479

	 *

   480

	 * Note that, when IN1 = INT64_MIN, and IN2 = -1, an overflow occurs in the division,

   481

	 * so although the MOD operation should be OK, acording to the above definition, we actually have an overflow!!

   482

	 *

   483

	 * On the other hand, division by 0 is OK!!

   484

	 */

   485

	if ((a == INT64_MIN) && (b == -1))

   486

		SET_OVFLOW(int64, res);

   487

}

   488

   489

   490

/* res = - a */

   491

static void CHECK_OVERFLOW_int64_NEG(symbol_c *res, symbol_c *a_ptr) {

   492

	if (!VALID_CVALUE(int64, res))

   493

		return;

   494

	int64_t a = GET_CVALUE(int64, a_ptr);

   495

	if (a == INT64_MIN)