LCOV - code coverage report
Current view: top level - gcc/go/gofrontend - embed.cc (source / functions) Hit Total Coverage
Test: gcc.info Lines: 307 441 69.6 %
Date: 2022-09-24 20:31:59 Functions: 23 24 95.8 %
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 0 0 -

           Branch data     Line data    Source code
       1                 :            : // embed.cc -- Go frontend go:embed handling.
       2                 :            : 
       3                 :            : // Copyright 2021 The Go Authors. All rights reserved.
       4                 :            : // Use of this source code is governed by a BSD-style
       5                 :            : // license that can be found in the LICENSE file.
       6                 :            : 
       7                 :            : #include "go-system.h"
       8                 :            : 
       9                 :            : #include "operator.h"
      10                 :            : #include "go-diagnostics.h"
      11                 :            : #include "lex.h"
      12                 :            : #include "types.h"
      13                 :            : #include "expressions.h"
      14                 :            : #include "gogo.h"
      15                 :            : 
      16                 :            : #ifndef O_BINARY
      17                 :            : #define O_BINARY 0
      18                 :            : #endif
      19                 :            : 
      20                 :            : // Read a file into *DATA.  Returns false on error.
      21                 :            : 
      22                 :            : static bool
      23                 :         61 : read_file(const char* filename, Location loc, std::string* data)
      24                 :            : {
      25                 :         61 :   int fd = open(filename, O_RDONLY | O_BINARY);
      26                 :         61 :   if (fd < 0)
      27                 :            :     {
      28                 :          0 :       go_error_at(loc, "%s: %m", filename);
      29                 :          0 :       return false;
      30                 :            :     }
      31                 :            : 
      32                 :         61 :   struct stat st;
      33                 :         61 :   if (fstat(fd, &st) < 0)
      34                 :            :     {
      35                 :          0 :       go_error_at(loc, "%s: %m", filename);
      36                 :          0 :       return false;
      37                 :            :     }
      38                 :         61 :   off_t want = st.st_size;
      39                 :            : 
      40                 :            :   // Most files read here are going to be incorporated into the object file
      41                 :            :   // and then the executable.  Set a limit on the size we will accept.
      42                 :         61 :   if (want > 2000000000)
      43                 :            :     {
      44                 :          0 :       go_error_at(loc, "%s: file too large", filename);
      45                 :          0 :       return false;
      46                 :            :     }
      47                 :            : 
      48                 :         61 :   data->resize(want);
      49                 :         61 :   off_t got = 0;
      50                 :        179 :   while (want > 0)
      51                 :            :     {
      52                 :            :       // C++11 requires that std::string use contiguous bytes, so this
      53                 :            :       // is safe.
      54                 :         57 :       ssize_t n = read(fd, &(*data)[got], want);
      55                 :         57 :       if (n < 0)
      56                 :            :         {
      57                 :          0 :           close(fd);
      58                 :          0 :           go_error_at(loc, "%s: %m", filename);
      59                 :          0 :           return false;
      60                 :            :         }
      61                 :         57 :       if (n == 0)
      62                 :            :         {
      63                 :          0 :           data->resize(got);
      64                 :            :           break;
      65                 :            :         }
      66                 :         57 :       got += n;
      67                 :         57 :       want -= n;
      68                 :            :     }
      69                 :            : 
      70                 :         61 :   close(fd);
      71                 :         61 :   return true;
      72                 :            : }
      73                 :            : 
      74                 :            : // A JSON value as read from an embedcfg file.  For our purposes a
      75                 :            : // JSON value is a string, or a list of strings, or a mapping from
      76                 :            : // strings to values.  We don't expect any numbers.  We also don't
      77                 :            : // expect an array of anything other than strings; that is, we don't
      78                 :            : // accept an array of general JSON values.
      79                 :            : 
      80                 :            : class Json_value
      81                 :            : {
      82                 :            :  public:
      83                 :            :   // The types of values.
      84                 :            :   enum Json_value_classification
      85                 :            :     {
      86                 :            :       JSON_VALUE_UNKNOWN,
      87                 :            :       JSON_VALUE_STRING,
      88                 :            :       JSON_VALUE_ARRAY,
      89                 :            :       JSON_VALUE_MAP
      90                 :            :     };
      91                 :            : 
      92                 :         68 :   Json_value()
      93                 :         68 :     : classification_(JSON_VALUE_UNKNOWN), string_(), array_(), map_()
      94                 :         68 :   { }
      95                 :            : 
      96                 :            :   ~Json_value();
      97                 :            : 
      98                 :            :   Json_value_classification
      99                 :         68 :   classification() const
     100                 :         44 :   { return this->classification_; }
     101                 :            : 
     102                 :            :   // Set to a string value.
     103                 :            :   void
     104                 :         27 :   set_string(const std::string& str)
     105                 :            :   {
     106                 :         27 :     go_assert(this->classification_ == JSON_VALUE_UNKNOWN);
     107                 :         27 :     this->classification_ = JSON_VALUE_STRING;
     108                 :         27 :     this->string_ = str;
     109                 :         27 :   }
     110                 :            : 
     111                 :            :   // Start an array value.
     112                 :            :   void
     113                 :         17 :   start_array()
     114                 :            :   {
     115                 :         17 :     go_assert(this->classification_ == JSON_VALUE_UNKNOWN);
     116                 :         17 :     this->classification_ = JSON_VALUE_ARRAY;
     117                 :         17 :   }
     118                 :            : 
     119                 :            :   // Add an array entry.
     120                 :            :   void
     121                 :         40 :   add_array_entry(const std::string& s)
     122                 :            :   {
     123                 :         40 :     go_assert(this->classification_ == JSON_VALUE_ARRAY);
     124                 :         40 :     this->array_.push_back(s);
     125                 :         40 :   }
     126                 :            : 
     127                 :            :   // Start a map value.
     128                 :            :   void
     129                 :         24 :   start_map()
     130                 :            :   {
     131                 :         24 :     go_assert(this->classification_ == JSON_VALUE_UNKNOWN);
     132                 :         24 :     this->classification_ = JSON_VALUE_MAP;
     133                 :         24 :   }
     134                 :            : 
     135                 :            :   // Add a map entry.
     136                 :            :   void
     137                 :         60 :   add_map_entry(const std::string& key, Json_value* val)
     138                 :            :   {
     139                 :         60 :     go_assert(this->classification_ == JSON_VALUE_MAP);
     140                 :         60 :     this->map_[key] = val;
     141                 :         60 :   }
     142                 :            : 
     143                 :            :   // Return the strings from a string value.
     144                 :            :   const std::string&
     145                 :         27 :   to_string() const
     146                 :            :   {
     147                 :         27 :     go_assert(this->classification_ == JSON_VALUE_STRING);
     148                 :         27 :     return this->string_;
     149                 :            :   }
     150                 :            : 
     151                 :            :   // Fetch a vector of strings, and drop them from the JSON value.
     152                 :            :   void
     153                 :         17 :   get_and_clear_array(std::vector<std::string>* v)
     154                 :            :   {
     155                 :         17 :     go_assert(this->classification_ == JSON_VALUE_ARRAY);
     156                 :         17 :     std::swap(*v, this->array_);
     157                 :         17 :   }
     158                 :            : 
     159                 :            :   // Look up a map entry.  Returns NULL if not found.
     160                 :            :   Json_value*
     161                 :            :   lookup_map_entry(const std::string& key);
     162                 :            : 
     163                 :            :   // Iterate over a map.
     164                 :            :   typedef Unordered_map(std::string, Json_value*)::iterator map_iterator;
     165                 :            : 
     166                 :            :   map_iterator
     167                 :         40 :   map_begin()
     168                 :            :   {
     169                 :         40 :     go_assert(this->classification_ == JSON_VALUE_MAP);
     170                 :         40 :     return this->map_.begin();
     171                 :            :   }
     172                 :            : 
     173                 :            :   map_iterator
     174                 :        144 :   map_end()
     175                 :        144 :   { return this->map_.end(); }
     176                 :            : 
     177                 :            :  private:
     178                 :            :   // Classification.
     179                 :            :   Json_value_classification classification_;
     180                 :            :   // A string, for JSON_VALUE_STRING.
     181                 :            :   std::string string_;
     182                 :            :   // Array, for JSON_VALUE_ARRAY.
     183                 :            :   std::vector<std::string> array_;
     184                 :            :   // Mapping, for JSON_VALUE_MAP.
     185                 :            :   Unordered_map(std::string, Json_value*) map_;
     186                 :            : };
     187                 :            : 
     188                 :            : // Delete a JSON value.
     189                 :            : 
     190                 :         68 : Json_value::~Json_value()
     191                 :            : {
     192                 :         68 :   if (this->classification_ == JSON_VALUE_MAP)
     193                 :            :     {
     194                 :         84 :       for (map_iterator p = this->map_begin();
     195                 :         84 :            p != this->map_end();
     196                 :         84 :            ++p)
     197                 :         60 :         delete p->second;
     198                 :            :     }
     199                 :        136 : }
     200                 :            : 
     201                 :            : // Look up a map entry in a JSON value.
     202                 :            : 
     203                 :            : Json_value*
     204                 :         16 : Json_value::lookup_map_entry(const std::string& key)
     205                 :            : {
     206                 :         16 :   go_assert(this->classification_ == JSON_VALUE_MAP);
     207                 :         16 :   Unordered_map(std::string, Json_value*)::iterator p = this->map_.find(key);
     208                 :         16 :   if (p == this->map_.end())
     209                 :            :     return NULL;
     210                 :         16 :   return p->second;
     211                 :            : }
     212                 :            : 
     213                 :            : // Manage reading the embedcfg file.
     214                 :            : 
     215                 :          0 : class Embedcfg_reader
     216                 :            : {
     217                 :            :  public:
     218                 :          8 :   Embedcfg_reader(const char* filename)
     219                 :          8 :     : filename_(filename), data_(), p_(NULL), pend_(NULL)
     220                 :            :   {}
     221                 :            : 
     222                 :            :   // Read the contents of FILENAME.  Return whether it succeeded.
     223                 :            :   bool
     224                 :            :   initialize_from_file();
     225                 :            : 
     226                 :            :   // Read a JSON object.
     227                 :            :   bool
     228                 :            :   read_object(Json_value*);
     229                 :            : 
     230                 :            :   // Report an error if not at EOF.
     231                 :            :   void
     232                 :            :   check_eof();
     233                 :            : 
     234                 :            :   // Report an error for the embedcfg file.
     235                 :            :   void
     236                 :            :   error(const char* msg);
     237                 :            : 
     238                 :            :  private:
     239                 :            :   bool
     240                 :            :   read_value(Json_value*);
     241                 :            : 
     242                 :            :   bool
     243                 :            :   read_array(Json_value*);
     244                 :            : 
     245                 :            :   bool
     246                 :            :   read_string(std::string*);
     247                 :            : 
     248                 :            :   bool
     249                 :            :   skip_whitespace(bool eof_ok);
     250                 :            : 
     251                 :            :   // File name.
     252                 :            :   const char* filename_;
     253                 :            :   // File contents.
     254                 :            :   std::string data_;
     255                 :            :   // Next character to process.
     256                 :            :   const char *p_;
     257                 :            :   // End of data.
     258                 :            :   const char *pend_;
     259                 :            : };
     260                 :            : 
     261                 :            : // Read the embedcfg file.
     262                 :            : 
     263                 :            : void
     264                 :          8 : Gogo::read_embedcfg(const char *filename)
     265                 :            : {
     266                 :          8 :   class Embedcfg_reader r(filename);
     267                 :          8 :   if (!r.initialize_from_file())
     268                 :            :     return;
     269                 :            : 
     270                 :          8 :   Json_value val;
     271                 :          8 :   if (!r.read_object(&val))
     272                 :            :     return;
     273                 :            : 
     274                 :          8 :   r.check_eof();
     275                 :            : 
     276                 :          8 :   if (val.classification() != Json_value::JSON_VALUE_MAP)
     277                 :            :     {
     278                 :          0 :       r.error("invalid embedcfg: not a JSON object");
     279                 :          0 :       return;
     280                 :            :     }
     281                 :            : 
     282                 :          8 :   Json_value* patterns = val.lookup_map_entry("Patterns");
     283                 :          8 :   if (patterns == NULL)
     284                 :            :     {
     285                 :          0 :       r.error("invalid embedcfg: missing Patterns");
     286                 :          0 :       return;
     287                 :            :     }
     288                 :          8 :   if (patterns->classification() != Json_value::JSON_VALUE_MAP)
     289                 :            :     {
     290                 :          0 :       r.error("invalid embedcfg: Patterns is not a JSON object");
     291                 :          0 :       return;
     292                 :            :     }
     293                 :            : 
     294                 :          8 :   Json_value* files = val.lookup_map_entry("Files");
     295                 :          8 :   if (files == NULL)
     296                 :            :     {
     297                 :          0 :       r.error("invalid embedcfg: missing Files");
     298                 :          0 :       return;
     299                 :            :     }
     300                 :          8 :   if (files->classification() != Json_value::JSON_VALUE_MAP)
     301                 :            :     {
     302                 :          0 :       r.error("invalid embedcfg: Files is not a JSON object");
     303                 :          0 :       return;
     304                 :            :     }
     305                 :            : 
     306                 :         25 :   for (Json_value::map_iterator p = patterns->map_begin();
     307                 :         25 :        p != patterns->map_end();
     308                 :         25 :        ++p)
     309                 :            :     {
     310                 :         17 :       if (p->second->classification() != Json_value::JSON_VALUE_ARRAY)
     311                 :            :         {
     312                 :          0 :           r.error("invalid embedcfg: Patterns entry is not an array");
     313                 :          0 :           return;
     314                 :            :         }
     315                 :         17 :       std::vector<std::string> files;
     316                 :         17 :       p->second->get_and_clear_array(&files);
     317                 :            : 
     318                 :         17 :       std::pair<std::string, std::vector<std::string> > val;
     319                 :         17 :       val.first = p->first;
     320                 :         17 :       std::pair<Embed_patterns::iterator, bool> ins =
     321                 :         17 :         this->embed_patterns_.insert(val);
     322                 :         17 :       if (!ins.second)
     323                 :            :         {
     324                 :          0 :           r.error("invalid embedcfg: duplicate Patterns entry");
     325                 :          0 :           return;
     326                 :            :         }
     327                 :         17 :       std::swap(ins.first->second, files);
     328                 :         17 :     }
     329                 :            : 
     330                 :          8 :   for (Json_value::map_iterator p = files->map_begin();
     331                 :         35 :        p != files->map_end();
     332                 :         35 :        ++p)
     333                 :            :     {
     334                 :         27 :       if (p->second->classification() != Json_value::JSON_VALUE_STRING)
     335                 :            :         {
     336                 :          0 :           r.error("invalid embedcfg: Files entry is not a string");
     337                 :          0 :           return;
     338                 :            :         }
     339                 :         27 :       this->embed_files_[p->first] = p->second->to_string();
     340                 :            :     }
     341                 :          8 : }
     342                 :            : 
     343                 :            : // Read the contents of FILENAME into this->data_.  Returns whether it
     344                 :            : // succeeded.
     345                 :            : 
     346                 :            : bool
     347                 :          8 : Embedcfg_reader::initialize_from_file()
     348                 :            : {
     349                 :          8 :   if (!read_file(this->filename_, Linemap::unknown_location(), &this->data_))
     350                 :            :     return false;
     351                 :          8 :   if (this->data_.empty())
     352                 :            :     {
     353                 :          0 :       this->error("empty file");
     354                 :          0 :       return false;
     355                 :            :     }
     356                 :          8 :   this->p_ = this->data_.data();
     357                 :          8 :   this->pend_ = this->p_ + this->data_.size();
     358                 :          8 :   return true;
     359                 :            : }
     360                 :            : 
     361                 :            : // Read a JSON object into VAL.  Return whether it succeeded.
     362                 :            : 
     363                 :            : bool
     364                 :         24 : Embedcfg_reader::read_object(Json_value* val)
     365                 :            : {
     366                 :         24 :   if (!this->skip_whitespace(false))
     367                 :            :     return false;
     368                 :         24 :   if (*this->p_ != '{')
     369                 :            :     {
     370                 :          0 :       this->error("expected %<{%>");
     371                 :          0 :       return false;
     372                 :            :     }
     373                 :         24 :   ++this->p_;
     374                 :            : 
     375                 :         24 :   val->start_map();
     376                 :            : 
     377                 :         24 :   if (!this->skip_whitespace(false))
     378                 :            :     return false;
     379                 :         24 :   if (*this->p_ == '}')
     380                 :            :     {
     381                 :          0 :       ++this->p_;
     382                 :          0 :       return true;
     383                 :            :     }
     384                 :            : 
     385                 :         60 :   while (true)
     386                 :            :     {
     387                 :         60 :       if (!this->skip_whitespace(false))
     388                 :         24 :         return false;
     389                 :         60 :       if (*this->p_ != '"')
     390                 :            :         {
     391                 :          0 :           this->error("expected %<\"%>");
     392                 :          0 :           return false;
     393                 :            :         }
     394                 :            : 
     395                 :         60 :       std::string key;
     396                 :         60 :       if (!this->read_string(&key))
     397                 :            :         return false;
     398                 :            : 
     399                 :         60 :       if (!this->skip_whitespace(false))
     400                 :            :         return false;
     401                 :         60 :       if (*this->p_ != ':')
     402                 :            :         {
     403                 :          0 :           this->error("expected %<:%>");
     404                 :          0 :           return false;
     405                 :            :         }
     406                 :         60 :       ++this->p_;
     407                 :            : 
     408                 :         60 :       Json_value* subval = new Json_value();
     409                 :         60 :       if (!this->read_value(subval))
     410                 :            :         return false;
     411                 :            : 
     412                 :         60 :       val->add_map_entry(key, subval);
     413                 :            : 
     414                 :         60 :       if (!this->skip_whitespace(false))
     415                 :            :         return false;
     416                 :         60 :       if (*this->p_ == '}')
     417                 :            :         {
     418                 :         24 :           ++this->p_;
     419                 :         24 :           return true;
     420                 :            :         }
     421                 :         36 :       if (*this->p_ != ',')
     422                 :            :         {
     423                 :          0 :           this->error("expected %<,%> or %<}%>");
     424                 :          0 :           return false;
     425                 :            :         }
     426                 :         36 :       ++this->p_;
     427                 :         60 :     }
     428                 :            : }
     429                 :            : 
     430                 :            : // Read a JSON array into VAL.  Return whether it succeeded.
     431                 :            : 
     432                 :            : bool
     433                 :         17 : Embedcfg_reader::read_array(Json_value* val)
     434                 :            : {
     435                 :         17 :   if (!this->skip_whitespace(false))
     436                 :            :     return false;
     437                 :         17 :   if (*this->p_ != '[')
     438                 :            :     {
     439                 :          0 :       this->error("expected %<[%>");
     440                 :          0 :       return false;
     441                 :            :     }
     442                 :         17 :   ++this->p_;
     443                 :            : 
     444                 :         17 :   val->start_array();
     445                 :            : 
     446                 :         17 :   if (!this->skip_whitespace(false))
     447                 :            :     return false;
     448                 :         17 :   if (*this->p_ == ']')
     449                 :            :     {
     450                 :          0 :       ++this->p_;
     451                 :          0 :       return true;
     452                 :            :     }
     453                 :            : 
     454                 :         40 :   while (true)
     455                 :            :     {
     456                 :            :       // If we were parsing full JSON we would call read_value here,
     457                 :            :       // not read_string.
     458                 :            : 
     459                 :         40 :       std::string s;
     460                 :         40 :       if (!this->read_string(&s))
     461                 :            :         return false;
     462                 :            : 
     463                 :         40 :       val->add_array_entry(s);
     464                 :            : 
     465                 :         40 :       if (!this->skip_whitespace(false))
     466                 :            :         return false;
     467                 :         40 :       if (*this->p_ == ']')
     468                 :            :         {
     469                 :         17 :           ++this->p_;
     470                 :         17 :           return true;
     471                 :            :         }
     472                 :         23 :       if (*this->p_ != ',')
     473                 :            :         {
     474                 :          0 :           this->error("expected %<,%> or %<]%>");
     475                 :          0 :           return false;
     476                 :            :         }
     477                 :         23 :       ++this->p_;
     478                 :         40 :     }
     479                 :            : }
     480                 :            : 
     481                 :            : // Read a JSON value into VAL.  Return whether it succeeded.
     482                 :            : 
     483                 :            : bool
     484                 :         60 : Embedcfg_reader::read_value(Json_value* val)
     485                 :            : {
     486                 :         60 :   if (!this->skip_whitespace(false))
     487                 :            :     return false;
     488                 :         60 :   switch (*this->p_)
     489                 :            :     {
     490                 :         27 :     case '"':
     491                 :         27 :       {
     492                 :         27 :         std::string s;
     493                 :         27 :         if (!this->read_string(&s))
     494                 :            :           return false;
     495                 :         27 :         val->set_string(s);
     496                 :         27 :         return true;
     497                 :         27 :       }
     498                 :            : 
     499                 :         16 :     case '{':
     500                 :         16 :       return this->read_object(val);
     501                 :            : 
     502                 :         17 :     case '[':
     503                 :         17 :       return this->read_array(val);
     504                 :            : 
     505                 :          0 :     default:
     506                 :          0 :       this->error("invalid JSON syntax");
     507                 :          0 :       return false;
     508                 :            :     }
     509                 :            : }
     510                 :            : 
     511                 :            : // Read a JSON string.  Return whether it succeeded.
     512                 :            : 
     513                 :            : bool
     514                 :        127 : Embedcfg_reader::read_string(std::string* str)
     515                 :            : {
     516                 :        127 :   if (!this->skip_whitespace(false))
     517                 :            :     return false;
     518                 :        127 :   if (*this->p_ != '"')
     519                 :            :     {
     520                 :          0 :       this->error("expected %<\"%>");
     521                 :          0 :       return false;
     522                 :            :     }
     523                 :        127 :   ++this->p_;
     524                 :            : 
     525                 :        127 :   str->clear();
     526                 :       4457 :   while (this->p_ < this->pend_ && *this->p_ != '"')
     527                 :            :     {
     528                 :       4330 :       if (*this->p_ != '\\')
     529                 :            :         {
     530                 :       4330 :           str->push_back(*this->p_);
     531                 :       4330 :           ++this->p_;
     532                 :       4330 :           continue;
     533                 :            :         }
     534                 :            : 
     535                 :          0 :       ++this->p_;
     536                 :          0 :       if (this->p_ >= this->pend_)
     537                 :            :         {
     538                 :          0 :           this->error("unterminated string");
     539                 :          0 :           return false;
     540                 :            :         }
     541                 :          0 :       switch (*this->p_)
     542                 :            :         {
     543                 :          0 :         case '"': case '\\': case '/':
     544                 :          0 :           str->push_back(*this->p_);
     545                 :          0 :           ++this->p_;
     546                 :          0 :           break;
     547                 :            : 
     548                 :          0 :         case 'b':
     549                 :          0 :           str->push_back('\b');
     550                 :          0 :           ++this->p_;
     551                 :          0 :           break;
     552                 :            : 
     553                 :          0 :         case 'f':
     554                 :          0 :           str->push_back('\f');
     555                 :          0 :           ++this->p_;
     556                 :          0 :           break;
     557                 :            : 
     558                 :          0 :         case 'n':
     559                 :          0 :           str->push_back('\n');
     560                 :          0 :           ++this->p_;
     561                 :          0 :           break;
     562                 :            : 
     563                 :          0 :         case 'r':
     564                 :          0 :           str->push_back('\r');
     565                 :          0 :           ++this->p_;
     566                 :          0 :           break;
     567                 :            : 
     568                 :          0 :         case 't':
     569                 :          0 :           str->push_back('\t');
     570                 :          0 :           ++this->p_;
     571                 :          0 :           break;
     572                 :            : 
     573                 :          0 :         case 'u':
     574                 :          0 :           {
     575                 :          0 :             ++this->p_;
     576                 :          0 :             unsigned int rune = 0;
     577                 :          0 :             for (int i = 0; i < 4; i++)
     578                 :            :               {
     579                 :          0 :                 if (this->p_ >= this->pend_)
     580                 :            :                   {
     581                 :          0 :                     this->error("unterminated string");
     582                 :          0 :                     return false;
     583                 :            :                   }
     584                 :          0 :                 unsigned char c = *this->p_;
     585                 :          0 :                 ++this->p_;
     586                 :          0 :                 rune <<= 4;
     587                 :          0 :                 if (c >= '0' && c <= '9')
     588                 :          0 :                   rune += c - '0';
     589                 :          0 :                 else if (c >= 'A' && c <= 'F')
     590                 :          0 :                   rune += c - 'A' + 10;
     591                 :          0 :                 else if (c >= 'a' && c <= 'f')
     592                 :          0 :                   rune += c - 'a' + 10;
     593                 :            :                 else
     594                 :            :                   {
     595                 :          0 :                     this->error("invalid hex digit");
     596                 :          0 :                     return false;
     597                 :            :                   }
     598                 :            :               }
     599                 :          0 :             Lex::append_char(rune, false, str, Linemap::unknown_location());
     600                 :            :           }
     601                 :          0 :           break;
     602                 :            : 
     603                 :          0 :         default:
     604                 :          0 :           this->error("unrecognized string escape");
     605                 :          0 :           return false;
     606                 :            :         }
     607                 :            :     }
     608                 :            : 
     609                 :        127 :   if (*this->p_ == '"')
     610                 :            :     {
     611                 :        127 :       ++this->p_;
     612                 :        127 :       return true;
     613                 :            :     }
     614                 :            : 
     615                 :          0 :   this->error("unterminated string");
     616                 :          0 :   return false;
     617                 :            : }
     618                 :            : 
     619                 :            : // Report an error if not at EOF.
     620                 :            : 
     621                 :            : void
     622                 :          8 : Embedcfg_reader::check_eof()
     623                 :            : {
     624                 :          8 :   if (this->skip_whitespace(true))
     625                 :          0 :     this->error("extraneous data at end of file");
     626                 :          8 : }
     627                 :            : 
     628                 :            : // Skip whitespace.  Return whether there is more to read.
     629                 :            : 
     630                 :            : bool
     631                 :        497 : Embedcfg_reader::skip_whitespace(bool eof_ok)
     632                 :            : {
     633                 :        972 :   while (this->p_ < this->pend_)
     634                 :            :     {
     635                 :        964 :       switch (*this->p_)
     636                 :            :         {
     637                 :        475 :         case ' ': case '\t': case '\n': case '\r':
     638                 :        475 :           ++this->p_;
     639                 :        475 :           break;
     640                 :            :         default:
     641                 :            :           return true;
     642                 :            :         }
     643                 :            :     }
     644                 :          8 :   if (!eof_ok)
     645                 :          0 :     this->error("unexpected EOF");
     646                 :            :   return false;
     647                 :            : }
     648                 :            : 
     649                 :            : // Report an error.
     650                 :            : 
     651                 :            : void
     652                 :          0 : Embedcfg_reader::error(const char* msg)
     653                 :            : {
     654                 :          0 :   if (!this->data_.empty() && this->p_ != NULL)
     655                 :          0 :     go_error_at(Linemap::unknown_location(),
     656                 :            :                 "%<-fgo-embedcfg%>: %s: %lu: %s",
     657                 :            :                 this->filename_,
     658                 :          0 :                 static_cast<unsigned long>(this->p_ - this->data_.data()),
     659                 :            :                 msg);
     660                 :            :   else
     661                 :          0 :     go_error_at(Linemap::unknown_location(),
     662                 :            :                 "%<-fgo-embedcfg%>: %s: %s",
     663                 :            :                 this->filename_, msg);
     664                 :          0 : }
     665                 :            : 
     666                 :            : // Implement the sort order for a list of embedded files, as discussed
     667                 :            : // at the docs for embed.FS.
     668                 :            : 
     669                 :            : class Embedfs_sort
     670                 :            : {
     671                 :            :  public:
     672                 :            :   bool
     673                 :            :   operator()(const std::string& p1, const std::string& p2) const;
     674                 :            : 
     675                 :            :  private:
     676                 :            :   void
     677                 :            :   split(const std::string&, size_t*, size_t*, size_t*) const;
     678                 :            : };
     679                 :            : 
     680                 :            : bool
     681                 :        184 : Embedfs_sort::operator()(const std::string& p1, const std::string& p2) const
     682                 :            : {
     683                 :        184 :   size_t dirlen1, elem1, elemlen1;
     684                 :        184 :   this->split(p1, &dirlen1, &elem1, &elemlen1);
     685                 :        184 :   size_t dirlen2, elem2, elemlen2;
     686                 :        184 :   this->split(p2, &dirlen2, &elem2, &elemlen2);
     687                 :            : 
     688                 :        184 :   if (dirlen1 == 0)
     689                 :            :     {
     690                 :         23 :       if (dirlen2 > 0)
     691                 :            :         {
     692                 :         12 :           int i = p2.compare(0, dirlen2, ".");
     693                 :         12 :           if (i != 0)
     694                 :         12 :             return i > 0;
     695                 :            :         }
     696                 :            :     }
     697                 :        161 :   else if (dirlen2 == 0)
     698                 :            :     {
     699                 :         36 :       int i = p1.compare(0, dirlen1, ".");
     700                 :         36 :       if (i != 0)
     701                 :         36 :         return i < 0;
     702                 :            :     }
     703                 :            :   else
     704                 :            :     {
     705                 :        125 :       int i = p1.compare(0, dirlen1, p2, 0, dirlen2);
     706                 :        125 :       if (i != 0)
     707                 :         87 :         return i < 0;
     708                 :            :     }
     709                 :            : 
     710                 :         49 :   int i = p1.compare(elem1, elemlen1, p2, elem2, elemlen2);
     711                 :         49 :   return i < 0;
     712                 :            : }
     713                 :            : 
     714                 :            : // Pick out the directory and file name components for comparison.
     715                 :            : 
     716                 :            : void
     717                 :        368 : Embedfs_sort::split(const std::string& s, size_t* dirlen, size_t* elem,
     718                 :            :                     size_t* elemlen) const
     719                 :            : {
     720                 :        368 :   size_t len = s.size();
     721                 :        368 :   if (len > 0 && s[len - 1] == '/')
     722                 :            :     --len;
     723                 :        368 :   size_t slash = s.rfind('/', len - 1);
     724                 :        368 :   if (slash == std::string::npos)
     725                 :            :     {
     726                 :         70 :       *dirlen = 0;
     727                 :         70 :       *elem = 0;
     728                 :         70 :       *elemlen = len;
     729                 :            :     }
     730                 :            :   else
     731                 :            :     {
     732                 :        298 :       *dirlen = slash;
     733                 :        298 :       *elem = slash + 1;
     734                 :        298 :       *elemlen = len - (slash + 1);
     735                 :            :     }
     736                 :        368 : }
     737                 :            : 
     738                 :            : // Convert the go:embed directives for a variable into an initializer
     739                 :            : // for that variable.
     740                 :            : 
     741                 :            : Expression*
     742                 :         22 : Gogo::initializer_for_embeds(Type* type,
     743                 :            :                              const std::vector<std::string>* embeds,
     744                 :            :                              Location loc)
     745                 :            : {
     746                 :         22 :   if (this->embed_patterns_.empty())
     747                 :            :     {
     748                 :          0 :       go_error_at(loc,
     749                 :            :                   ("invalid go:embed: build system did not "
     750                 :            :                    "supply embed configuration"));
     751                 :          0 :       return Expression::make_error(loc);
     752                 :            :     }
     753                 :            : 
     754                 :         22 :   type = type->unalias();
     755                 :            : 
     756                 :         22 :   enum {
     757                 :            :     EMBED_STRING = 0,
     758                 :            :     EMBED_BYTES = 1,
     759                 :            :     EMBED_FS = 2
     760                 :            :   } embed_kind;
     761                 :            : 
     762                 :         22 :   const Named_type* nt = type->named_type();
     763                 :         22 :   if (nt != NULL
     764                 :         16 :       && nt->named_object()->package() != NULL
     765                 :         11 :       && nt->named_object()->package()->pkgpath() == "embed"
     766                 :         33 :       && nt->name() == "FS")
     767                 :            :     embed_kind = EMBED_FS;
     768                 :         11 :   else if (type->is_string_type())
     769                 :            :     embed_kind = EMBED_STRING;
     770                 :          7 :   else if (type->is_slice_type()
     771                 :         14 :            && type->array_type()->element_type()->integer_type() != NULL
     772                 :         21 :            && type->array_type()->element_type()->integer_type()->is_byte())
     773                 :            :     embed_kind = EMBED_BYTES;
     774                 :            :   else
     775                 :            :     {
     776                 :          0 :       go_error_at(loc, "invalid type for go:embed");
     777                 :          0 :       return Expression::make_error(loc);
     778                 :            :     }
     779                 :            : 
     780                 :            :   // The patterns in the go:embed directive(s) are in EMBEDS.  Find
     781                 :            :   // them in the patterns in the embedcfg file.
     782                 :            : 
     783                 :         22 :   Unordered_set(std::string) have;
     784                 :         22 :   std::vector<std::string> paths;
     785                 :         46 :   for (std::vector<std::string>::const_iterator pe = embeds->begin();
     786                 :         46 :        pe != embeds->end();
     787                 :         46 :        pe++)
     788                 :            :     {
     789                 :         24 :       Embed_patterns::const_iterator pp = this->embed_patterns_.find(*pe);
     790                 :         24 :       if (pp == this->embed_patterns_.end())
     791                 :            :         {
     792                 :          0 :           go_error_at(loc,
     793                 :            :                       ("invalid go:embed: build system did not "
     794                 :            :                        "map pattern %<%s%>"),
     795                 :            :                       pe->c_str());
     796                 :          0 :           continue;
     797                 :            :         }
     798                 :            : 
     799                 :            :       // Each pattern in the embedcfg file maps to a list of file
     800                 :            :       // names.  Add those file names to PATHS.
     801                 :         77 :       for (std::vector<std::string>::const_iterator pf = pp->second.begin();
     802                 :         77 :            pf != pp->second.end();
     803                 :         77 :            pf++)
     804                 :            :         {
     805                 :         53 :           if (this->embed_files_.find(*pf) == this->embed_files_.end())
     806                 :            :             {
     807                 :          0 :               go_error_at(loc,
     808                 :            :                           ("invalid go:embed: build system did not "
     809                 :            :                            "map file %<%s%>"),
     810                 :            :                           pf->c_str());
     811                 :          0 :               continue;
     812                 :            :             }
     813                 :            : 
     814                 :         53 :           std::pair<Unordered_set(std::string)::iterator, bool> ins
     815                 :         53 :             = have.insert(*pf);
     816                 :         53 :           if (ins.second)
     817                 :            :             {
     818                 :         53 :               const std::string& path(*pf);
     819                 :         53 :               paths.push_back(path);
     820                 :            : 
     821                 :         53 :               if (embed_kind == EMBED_FS)
     822                 :            :                 {
     823                 :            :                   // Add each required directory, with a trailing slash.
     824                 :            :                   size_t i = std::string::npos;
     825                 :         94 :                   while (i > 0)
     826                 :            :                     {
     827                 :         91 :                       i = path.rfind('/', i);
     828                 :         91 :                       if (i == std::string::npos)
     829                 :            :                         break;
     830                 :         52 :                       std::string dir = path.substr(0, i + 1);
     831                 :         52 :                       ins = have.insert(dir);
     832                 :         52 :                       if (ins.second)
     833                 :         23 :                         paths.push_back(dir);
     834                 :         52 :                       --i;
     835                 :         52 :                     }
     836                 :            :                 }
     837                 :            :             }
     838                 :            :         }
     839                 :            :     }
     840                 :            : 
     841                 :         22 :   if (embed_kind == EMBED_STRING || embed_kind == EMBED_BYTES)
     842                 :            :     {
     843                 :         11 :       if (paths.size() > 1)
     844                 :            :         {
     845                 :          0 :           go_error_at(loc,
     846                 :            :                       ("invalid go:embed: multiple files for "
     847                 :          0 :                        "string or byte slice"));;
     848                 :          0 :           return Expression::make_error(loc);
     849                 :            :         }
     850                 :            : 
     851                 :         11 :       std::string data;
     852                 :         11 :       if (!read_file(this->embed_files_[paths[0]].c_str(), loc, &data))
     853                 :          0 :         return Expression::make_error(loc);
     854                 :            : 
     855                 :         11 :       Expression* e = Expression::make_string(data, loc);
     856                 :         11 :       if (embed_kind == EMBED_BYTES)
     857                 :          7 :         e = Expression::make_cast(type, e, loc);
     858                 :         11 :       return e;
     859                 :         11 :     }
     860                 :            : 
     861                 :         11 :   std::sort(paths.begin(), paths.end(), Embedfs_sort());
     862                 :            : 
     863                 :         22 :   if (type->struct_type() == NULL
     864                 :         11 :       || type->struct_type()->field_count() != 1)
     865                 :            :     {
     866                 :          0 :       go_error_at(loc,
     867                 :            :                   ("internal error: embed.FS should be struct type "
     868                 :            :                    "with one field"));
     869                 :          0 :       return Expression::make_error(loc);
     870                 :            :     }
     871                 :            : 
     872                 :         22 :   Type* ptr_type = type->struct_type()->field(0)->type();
     873                 :         11 :   if (ptr_type->points_to() == NULL)
     874                 :            :     {
     875                 :          0 :       go_error_at(loc,
     876                 :            :                   "internal error: embed.FS struct field should be pointer");
     877                 :          0 :       return Expression::make_error(loc);
     878                 :            :     }
     879                 :            : 
     880                 :         11 :   Type* slice_type = ptr_type->points_to();
     881                 :         11 :   if (!slice_type->is_slice_type())
     882                 :            :     {
     883                 :          0 :       go_error_at(loc,
     884                 :            :                   ("internal error: embed.FS struct field should be "
     885                 :            :                    "pointer to slice"));
     886                 :          0 :       return Expression::make_error(loc);
     887                 :            :     }
     888                 :            : 
     889                 :         22 :   Type* file_type = slice_type->array_type()->element_type();
     890                 :         11 :   if (file_type->struct_type() == NULL
     891                 :         22 :       || (file_type->struct_type()->find_local_field(".embed.name", NULL)
     892                 :            :           == NULL)
     893                 :         33 :       || (file_type->struct_type()->find_local_field(".embed.data", NULL)
     894                 :            :           == NULL))
     895                 :            :     {
     896                 :          0 :       go_error_at(loc,
     897                 :            :                   ("internal error: embed.FS slice element should be struct "
     898                 :            :                    "with name and data fields"));
     899                 :          0 :       return Expression::make_error(loc);
     900                 :            :     }
     901                 :            : 
     902                 :         22 :   const Struct_field_list* file_fields = file_type->struct_type()->fields();
     903                 :         11 :   Expression_list* file_vals = new(Expression_list);
     904                 :         11 :   file_vals->reserve(paths.size());
     905                 :         11 :   for (std::vector<std::string>::const_iterator pp = paths.begin();
     906                 :         76 :        pp != paths.end();
     907                 :         76 :        ++pp)
     908                 :            :     {
     909                 :         65 :       std::string data;
     910                 :         65 :       if ((*pp)[pp->size() - 1] != '/')
     911                 :            :         {
     912                 :         42 :           if (!read_file(this->embed_files_[*pp].c_str(), loc, &data))
     913                 :          0 :             return Expression::make_error(loc);
     914                 :            :         }
     915                 :            : 
     916                 :         65 :       Expression_list* field_vals = new(Expression_list);
     917                 :        260 :       for (Struct_field_list::const_iterator pf = file_fields->begin();
     918                 :        260 :            pf != file_fields->end();
     919                 :        260 :            ++pf)
     920                 :            :         {
     921                 :        195 :           if (pf->is_field_name(".embed.name"))
     922                 :         65 :             field_vals->push_back(Expression::make_string(*pp, loc));
     923                 :        130 :           else if (pf->is_field_name(".embed.data"))
     924                 :         65 :             field_vals->push_back(Expression::make_string(data, loc));
     925                 :            :           else
     926                 :            :             {
     927                 :            :               // FIXME: The embed.file type has a hash field, which is
     928                 :            :               // currently unused.  We should fill it in, but don't.
     929                 :            :               // The hash is a SHA256, and we don't have convenient
     930                 :            :               // SHA256 code.  Do this later when the field is
     931                 :            :               // actually used.
     932                 :         65 :               field_vals->push_back(NULL);
     933                 :            :             }
     934                 :            :         }
     935                 :            : 
     936                 :         65 :       Expression* file_val =
     937                 :         65 :         Expression::make_struct_composite_literal(file_type, field_vals, loc);
     938                 :         65 :       file_vals->push_back(file_val);
     939                 :         65 :     }
     940                 :            : 
     941                 :         11 :   Expression* slice_init =
     942                 :         11 :     Expression::make_slice_composite_literal(slice_type, file_vals, loc);
     943                 :         11 :   Expression* fs_init = Expression::make_heap_expression(slice_init, loc);
     944                 :         11 :   Expression_list* fs_vals = new Expression_list();
     945                 :         11 :   fs_vals->push_back(fs_init);
     946                 :         11 :   return Expression::make_struct_composite_literal(type, fs_vals, loc);
     947                 :         22 : }

Generated by: LCOV version 1.16+git.20220603.dfeb750

LCOV profile is generated on x86_64 machine using following configure options: configure --disable-bootstrap --enable-coverage=opt --enable-languages=c,c++,fortran,go,jit,lto --enable-host-shared. GCC test suite is run with the built compiler.