Line data    Source code

       1              : /* m2assert.cc provides a simple assertion for location.
       2              : 
       3              : Copyright (C) 2012-2026 Free Software Foundation, Inc.
       4              : Contributed by Gaius Mulley <gaius@glam.ac.uk>.
       5              : 
       6              : This file is part of GNU Modula-2.
       7              : 
       8              : GNU Modula-2 is free software; you can redistribute it and/or modify
       9              : it under the terms of the GNU General Public License as published by
      10              : the Free Software Foundation; either version 3, or (at your option)
      11              : any later version.
      12              : 
      13              : GNU Modula-2 is distributed in the hope that it will be useful, but
      14              : WITHOUT ANY WARRANTY; without even the implied warranty of
      15              : MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
      16              : General Public License for more details.
      17              : 
      18              : You should have received a copy of the GNU General Public License
      19              : along with GNU Modula-2; see the file COPYING3.  If not see
      20              : <http://www.gnu.org/licenses/>.  */
      21              : 
      22              : #include "gcc-consolidation.h"
      23              : 
      24              : #include "../gm2-lang.h"
      25              : #include "../m2-tree.h"
      26              : 
      27              : #define m2assert_c
      28              : #include "m2assert.h"
      29              : #include "m2options.h"
      30              : 
      31              : void
      32     48953167 : m2assert_AssertLocation (location_t location)
      33              : {
      34              :   /* Internally the compiler will use unknown location and
      35              :      builtins_location so we ignore these values.  */
      36     48953167 :   if (location == BUILTINS_LOCATION || location == UNKNOWN_LOCATION)
      37              :     return;
      38              : 
      39     17994910 :   if (M2Options_OverrideLocation (location) != location)
      40            0 :     internal_error ("the location value is corrupt");
      41              : }