1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840184118421843184418451846184718481849185018511852185318541855185618571858185918601861186218631864186518661867186818691870187118721873187418751876187718781879188018811882188318841885188618871888188918901891189218931894189518961897189818991900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930193119321933193419351936193719381939194019411942194319441945194619471948194919501951195219531954195519561957195819591960196119621963196419651966196719681969197019711972197319741975197619771978197919801981198219831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420252026202720282029203020312032203320342035203620372038203920402041204220432044204520462047204820492050205120522053205420552056205720582059206020612062206320642065206620672068206920702071207220732074207520762077207820792080208120822083208420852086208720882089209020912092209320942095209620972098209921002101210221032104210521062107210821092110211121122113211421152116211721182119212021212122212321242125212621272128212921302131213221332134213521362137213821392140214121422143214421452146214721482149215021512152215321542155215621572158215921602161216221632164216521662167216821692170217121722173217421752176217721782179218021812182218321842185218621872188218921902191219221932194219521962197219821992200220122022203220422052206220722082209221022112212 |
- /* Definitions for expressions in GDB
- Copyright (C) 2020-2022 Free Software Foundation, Inc.
- This file is part of GDB.
- This program is free software; you can redistribute it and/or modify
- it under the terms of the GNU General Public License as published by
- the Free Software Foundation; either version 3 of the License, or
- (at your option) any later version.
- This program is distributed in the hope that it will be useful,
- but WITHOUT ANY WARRANTY; without even the implied warranty of
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- GNU General Public License for more details.
- You should have received a copy of the GNU General Public License
- along with this program. If not, see <http://www.gnu.org/licenses/>. */
- #ifndef EXPOP_H
- #define EXPOP_H
- #include "block.h"
- #include "c-lang.h"
- #include "cp-abi.h"
- #include "expression.h"
- #include "objfiles.h"
- #include "gdbsupport/traits.h"
- #include "gdbsupport/enum-flags.h"
- struct agent_expr;
- struct axs_value;
- extern void gen_expr_binop (struct expression *exp,
- enum exp_opcode op,
- expr::operation *lhs, expr::operation *rhs,
- struct agent_expr *ax, struct axs_value *value);
- extern void gen_expr_structop (struct expression *exp,
- enum exp_opcode op,
- expr::operation *lhs,
- const char *name,
- struct agent_expr *ax, struct axs_value *value);
- extern void gen_expr_unop (struct expression *exp,
- enum exp_opcode op,
- expr::operation *lhs,
- struct agent_expr *ax, struct axs_value *value);
- extern struct value *eval_op_scope (struct type *expect_type,
- struct expression *exp,
- enum noside noside,
- struct type *type, const char *string);
- extern struct value *eval_op_var_msym_value (struct type *expect_type,
- struct expression *exp,
- enum noside noside,
- bool outermost_p,
- bound_minimal_symbol msymbol);
- extern struct value *eval_op_var_entry_value (struct type *expect_type,
- struct expression *exp,
- enum noside noside, symbol *sym);
- extern struct value *eval_op_func_static_var (struct type *expect_type,
- struct expression *exp,
- enum noside noside,
- value *func, const char *var);
- extern struct value *eval_op_register (struct type *expect_type,
- struct expression *exp,
- enum noside noside, const char *name);
- extern struct value *eval_op_ternop (struct type *expect_type,
- struct expression *exp,
- enum noside noside,
- struct value *array, struct value *low,
- struct value *upper);
- extern struct value *eval_op_structop_struct (struct type *expect_type,
- struct expression *exp,
- enum noside noside,
- struct value *arg1,
- const char *string);
- extern struct value *eval_op_structop_ptr (struct type *expect_type,
- struct expression *exp,
- enum noside noside,
- struct value *arg1,
- const char *string);
- extern struct value *eval_op_member (struct type *expect_type,
- struct expression *exp,
- enum noside noside,
- struct value *arg1, struct value *arg2);
- extern struct value *eval_op_add (struct type *expect_type,
- struct expression *exp,
- enum noside noside,
- struct value *arg1, struct value *arg2);
- extern struct value *eval_op_sub (struct type *expect_type,
- struct expression *exp,
- enum noside noside,
- struct value *arg1, struct value *arg2);
- extern struct value *eval_op_binary (struct type *expect_type,
- struct expression *exp,
- enum noside noside, enum exp_opcode op,
- struct value *arg1, struct value *arg2);
- extern struct value *eval_op_subscript (struct type *expect_type,
- struct expression *exp,
- enum noside noside, enum exp_opcode op,
- struct value *arg1,
- struct value *arg2);
- extern struct value *eval_op_equal (struct type *expect_type,
- struct expression *exp,
- enum noside noside, enum exp_opcode op,
- struct value *arg1,
- struct value *arg2);
- extern struct value *eval_op_notequal (struct type *expect_type,
- struct expression *exp,
- enum noside noside, enum exp_opcode op,
- struct value *arg1,
- struct value *arg2);
- extern struct value *eval_op_less (struct type *expect_type,
- struct expression *exp,
- enum noside noside, enum exp_opcode op,
- struct value *arg1,
- struct value *arg2);
- extern struct value *eval_op_gtr (struct type *expect_type,
- struct expression *exp,
- enum noside noside, enum exp_opcode op,
- struct value *arg1,
- struct value *arg2);
- extern struct value *eval_op_geq (struct type *expect_type,
- struct expression *exp,
- enum noside noside, enum exp_opcode op,
- struct value *arg1,
- struct value *arg2);
- extern struct value *eval_op_leq (struct type *expect_type,
- struct expression *exp,
- enum noside noside, enum exp_opcode op,
- struct value *arg1,
- struct value *arg2);
- extern struct value *eval_op_repeat (struct type *expect_type,
- struct expression *exp,
- enum noside noside, enum exp_opcode op,
- struct value *arg1,
- struct value *arg2);
- extern struct value *eval_op_plus (struct type *expect_type,
- struct expression *exp,
- enum noside noside, enum exp_opcode op,
- struct value *arg1);
- extern struct value *eval_op_neg (struct type *expect_type,
- struct expression *exp,
- enum noside noside, enum exp_opcode op,
- struct value *arg1);
- extern struct value *eval_op_complement (struct type *expect_type,
- struct expression *exp,
- enum noside noside,
- enum exp_opcode op,
- struct value *arg1);
- extern struct value *eval_op_lognot (struct type *expect_type,
- struct expression *exp,
- enum noside noside,
- enum exp_opcode op,
- struct value *arg1);
- extern struct value *eval_op_preinc (struct type *expect_type,
- struct expression *exp,
- enum noside noside,
- enum exp_opcode op,
- struct value *arg1);
- extern struct value *eval_op_predec (struct type *expect_type,
- struct expression *exp,
- enum noside noside,
- enum exp_opcode op,
- struct value *arg1);
- extern struct value *eval_op_postinc (struct type *expect_type,
- struct expression *exp,
- enum noside noside,
- enum exp_opcode op,
- struct value *arg1);
- extern struct value *eval_op_postdec (struct type *expect_type,
- struct expression *exp,
- enum noside noside,
- enum exp_opcode op,
- struct value *arg1);
- extern struct value *eval_op_ind (struct type *expect_type,
- struct expression *exp,
- enum noside noside,
- struct value *arg1);
- extern struct value *eval_op_type (struct type *expect_type,
- struct expression *exp,
- enum noside noside, struct type *type);
- extern struct value *eval_op_alignof (struct type *expect_type,
- struct expression *exp,
- enum noside noside,
- struct value *arg1);
- extern struct value *eval_op_memval (struct type *expect_type,
- struct expression *exp,
- enum noside noside,
- struct value *arg1, struct type *type);
- extern struct value *eval_binop_assign_modify (struct type *expect_type,
- struct expression *exp,
- enum noside noside,
- enum exp_opcode op,
- struct value *arg1,
- struct value *arg2);
- namespace expr
- {
- class ada_component;
- /* The check_objfile overloads are used to check whether a particular
- component of some operation references an objfile. The passed-in
- objfile will never be a debug objfile. */
- /* See if EXP_OBJFILE matches OBJFILE. */
- static inline bool
- check_objfile (struct objfile *exp_objfile, struct objfile *objfile)
- {
- if (exp_objfile->separate_debug_objfile_backlink)
- exp_objfile = exp_objfile->separate_debug_objfile_backlink;
- return exp_objfile == objfile;
- }
- static inline bool
- check_objfile (struct type *type, struct objfile *objfile)
- {
- struct objfile *ty_objfile = type->objfile_owner ();
- if (ty_objfile != nullptr)
- return check_objfile (ty_objfile, objfile);
- return false;
- }
- static inline bool
- check_objfile (struct symbol *sym, struct objfile *objfile)
- {
- return check_objfile (symbol_objfile (sym), objfile);
- }
- static inline bool
- check_objfile (const struct block *block, struct objfile *objfile)
- {
- return check_objfile (block_objfile (block), objfile);
- }
- static inline bool
- check_objfile (const block_symbol &sym, struct objfile *objfile)
- {
- return (check_objfile (sym.symbol, objfile)
- || check_objfile (sym.block, objfile));
- }
- static inline bool
- check_objfile (bound_minimal_symbol minsym, struct objfile *objfile)
- {
- return check_objfile (minsym.objfile, objfile);
- }
- static inline bool
- check_objfile (internalvar *ivar, struct objfile *objfile)
- {
- return false;
- }
- static inline bool
- check_objfile (const std::string &str, struct objfile *objfile)
- {
- return false;
- }
- static inline bool
- check_objfile (const operation_up &op, struct objfile *objfile)
- {
- return op->uses_objfile (objfile);
- }
- static inline bool
- check_objfile (enum exp_opcode val, struct objfile *objfile)
- {
- return false;
- }
- static inline bool
- check_objfile (ULONGEST val, struct objfile *objfile)
- {
- return false;
- }
- template<typename T>
- static inline bool
- check_objfile (enum_flags<T> val, struct objfile *objfile)
- {
- return false;
- }
- template<typename T>
- static inline bool
- check_objfile (const std::vector<T> &collection, struct objfile *objfile)
- {
- for (const auto &item : collection)
- {
- if (check_objfile (item, objfile))
- return true;
- }
- return false;
- }
- template<typename S, typename T>
- static inline bool
- check_objfile (const std::pair<S, T> &item, struct objfile *objfile)
- {
- return (check_objfile (item.first, objfile)
- || check_objfile (item.second, objfile));
- }
- extern bool check_objfile (const std::unique_ptr<ada_component> &comp,
- struct objfile *objfile);
- static inline void
- dump_for_expression (struct ui_file *stream, int depth,
- const operation_up &op)
- {
- op->dump (stream, depth);
- }
- extern void dump_for_expression (struct ui_file *stream, int depth,
- enum exp_opcode op);
- extern void dump_for_expression (struct ui_file *stream, int depth,
- const std::string &str);
- extern void dump_for_expression (struct ui_file *stream, int depth,
- struct type *type);
- extern void dump_for_expression (struct ui_file *stream, int depth,
- CORE_ADDR addr);
- extern void dump_for_expression (struct ui_file *stream, int depth,
- internalvar *ivar);
- extern void dump_for_expression (struct ui_file *stream, int depth,
- symbol *sym);
- extern void dump_for_expression (struct ui_file *stream, int depth,
- const block_symbol &sym);
- extern void dump_for_expression (struct ui_file *stream, int depth,
- bound_minimal_symbol msym);
- extern void dump_for_expression (struct ui_file *stream, int depth,
- const block *bl);
- extern void dump_for_expression (struct ui_file *stream, int depth,
- type_instance_flags flags);
- extern void dump_for_expression (struct ui_file *stream, int depth,
- enum c_string_type_values flags);
- extern void dump_for_expression (struct ui_file *stream, int depth,
- enum range_flag flags);
- extern void dump_for_expression (struct ui_file *stream, int depth,
- const std::unique_ptr<ada_component> &comp);
- template<typename T>
- void
- dump_for_expression (struct ui_file *stream, int depth,
- const std::vector<T> &vals)
- {
- gdb_printf (stream, _("%*sVector:\n"), depth, "");
- for (auto &item : vals)
- dump_for_expression (stream, depth + 1, item);
- }
- template<typename X, typename Y>
- void
- dump_for_expression (struct ui_file *stream, int depth,
- const std::pair<X, Y> &vals)
- {
- dump_for_expression (stream, depth, vals.first);
- dump_for_expression (stream, depth, vals.second);
- }
- /* Base class for most concrete operations. This class holds data,
- specified via template parameters, and supplies generic
- implementations of the 'dump' and 'uses_objfile' methods. */
- template<typename... Arg>
- class tuple_holding_operation : public operation
- {
- public:
- explicit tuple_holding_operation (Arg... args)
- : m_storage (std::forward<Arg> (args)...)
- {
- }
- DISABLE_COPY_AND_ASSIGN (tuple_holding_operation);
- bool uses_objfile (struct objfile *objfile) const override
- {
- return do_check_objfile<0, Arg...> (objfile, m_storage);
- }
- void dump (struct ui_file *stream, int depth) const override
- {
- dump_for_expression (stream, depth, opcode ());
- do_dump<0, Arg...> (stream, depth + 1, m_storage);
- }
- protected:
- /* Storage for the data. */
- std::tuple<Arg...> m_storage;
- private:
- /* do_dump does the work of dumping the data. */
- template<int I, typename... T>
- typename std::enable_if<I == sizeof... (T), void>::type
- do_dump (struct ui_file *stream, int depth, const std::tuple<T...> &value)
- const
- {
- }
- template<int I, typename... T>
- typename std::enable_if<I < sizeof... (T), void>::type
- do_dump (struct ui_file *stream, int depth, const std::tuple<T...> &value)
- const
- {
- dump_for_expression (stream, depth, std::get<I> (value));
- do_dump<I + 1, T...> (stream, depth, value);
- }
- /* do_check_objfile does the work of checking whether this object
- refers to OBJFILE. */
- template<int I, typename... T>
- typename std::enable_if<I == sizeof... (T), bool>::type
- do_check_objfile (struct objfile *objfile, const std::tuple<T...> &value)
- const
- {
- return false;
- }
- template<int I, typename... T>
- typename std::enable_if<I < sizeof... (T), bool>::type
- do_check_objfile (struct objfile *objfile, const std::tuple<T...> &value)
- const
- {
- if (check_objfile (std::get<I> (value), objfile))
- return true;
- return do_check_objfile<I + 1, T...> (objfile, value);
- }
- };
- /* The check_constant overloads are used to decide whether a given
- concrete operation is a constant. This is done by checking the
- operands. */
- static inline bool
- check_constant (const operation_up &item)
- {
- return item->constant_p ();
- }
- static inline bool
- check_constant (bound_minimal_symbol msym)
- {
- return false;
- }
- static inline bool
- check_constant (struct type *type)
- {
- return true;
- }
- static inline bool
- check_constant (const struct block *block)
- {
- return true;
- }
- static inline bool
- check_constant (const std::string &str)
- {
- return true;
- }
- static inline bool
- check_constant (ULONGEST cst)
- {
- return true;
- }
- static inline bool
- check_constant (struct symbol *sym)
- {
- enum address_class sc = sym->aclass ();
- return (sc == LOC_BLOCK
- || sc == LOC_CONST
- || sc == LOC_CONST_BYTES
- || sc == LOC_LABEL);
- }
- static inline bool
- check_constant (const block_symbol &sym)
- {
- /* We know the block is constant, so we only need to check the
- symbol. */
- return check_constant (sym.symbol);
- }
- template<typename T>
- static inline bool
- check_constant (const std::vector<T> &collection)
- {
- for (const auto &item : collection)
- if (!check_constant (item))
- return false;
- return true;
- }
- template<typename S, typename T>
- static inline bool
- check_constant (const std::pair<S, T> &item)
- {
- return check_constant (item.first) && check_constant (item.second);
- }
- /* Base class for concrete operations. This class supplies an
- implementation of 'constant_p' that works by checking the
- operands. */
- template<typename... Arg>
- class maybe_constant_operation
- : public tuple_holding_operation<Arg...>
- {
- public:
- using tuple_holding_operation<Arg...>::tuple_holding_operation;
- bool constant_p () const override
- {
- return do_check_constant<0, Arg...> (this->m_storage);
- }
- private:
- template<int I, typename... T>
- typename std::enable_if<I == sizeof... (T), bool>::type
- do_check_constant (const std::tuple<T...> &value) const
- {
- return true;
- }
- template<int I, typename... T>
- typename std::enable_if<I < sizeof... (T), bool>::type
- do_check_constant (const std::tuple<T...> &value) const
- {
- if (!check_constant (std::get<I> (value)))
- return false;
- return do_check_constant<I + 1, T...> (value);
- }
- };
- /* A floating-point constant. The constant is encoded in the target
- format. */
- typedef std::array<gdb_byte, 16> float_data;
- /* An operation that holds a floating-point constant of a given
- type.
- This does not need the facilities provided by
- tuple_holding_operation, so it does not use it. */
- class float_const_operation
- : public operation
- {
- public:
- float_const_operation (struct type *type, float_data data)
- : m_type (type),
- m_data (data)
- {
- }
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- return value_from_contents (m_type, m_data.data ());
- }
- enum exp_opcode opcode () const override
- { return OP_FLOAT; }
- bool constant_p () const override
- { return true; }
- void dump (struct ui_file *stream, int depth) const override;
- private:
- struct type *m_type;
- float_data m_data;
- };
- class scope_operation
- : public maybe_constant_operation<struct type *, std::string>
- {
- public:
- using maybe_constant_operation::maybe_constant_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- return eval_op_scope (expect_type, exp, noside,
- std::get<0> (m_storage),
- std::get<1> (m_storage).c_str ());
- }
- value *evaluate_for_address (struct expression *exp,
- enum noside noside) override;
- value *evaluate_funcall (struct type *expect_type,
- struct expression *exp,
- enum noside noside,
- const std::vector<operation_up> &args) override;
- enum exp_opcode opcode () const override
- { return OP_SCOPE; }
- protected:
- void do_generate_ax (struct expression *exp,
- struct agent_expr *ax,
- struct axs_value *value,
- struct type *cast_type)
- override;
- };
- /* Compute the value of a variable. */
- class var_value_operation
- : public maybe_constant_operation<block_symbol>
- {
- public:
- using maybe_constant_operation::maybe_constant_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override;
- value *evaluate_with_coercion (struct expression *exp,
- enum noside noside) override;
- value *evaluate_for_sizeof (struct expression *exp, enum noside noside)
- override;
- value *evaluate_for_cast (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override;
- value *evaluate_for_address (struct expression *exp, enum noside noside)
- override;
- value *evaluate_funcall (struct type *expect_type,
- struct expression *exp,
- enum noside noside,
- const std::vector<operation_up> &args) override;
- enum exp_opcode opcode () const override
- { return OP_VAR_VALUE; }
- /* Return the symbol referenced by this object. */
- symbol *get_symbol () const
- {
- return std::get<0> (m_storage).symbol;
- }
- protected:
- void do_generate_ax (struct expression *exp,
- struct agent_expr *ax,
- struct axs_value *value,
- struct type *cast_type)
- override;
- };
- class long_const_operation
- : public tuple_holding_operation<struct type *, LONGEST>
- {
- public:
- using tuple_holding_operation::tuple_holding_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- return value_from_longest (std::get<0> (m_storage),
- std::get<1> (m_storage));
- }
- enum exp_opcode opcode () const override
- { return OP_LONG; }
- bool constant_p () const override
- { return true; }
- protected:
- void do_generate_ax (struct expression *exp,
- struct agent_expr *ax,
- struct axs_value *value,
- struct type *cast_type)
- override;
- };
- class var_msym_value_operation
- : public maybe_constant_operation<bound_minimal_symbol>
- {
- public:
- using maybe_constant_operation::maybe_constant_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- return eval_op_var_msym_value (expect_type, exp, noside, m_outermost,
- std::get<0> (m_storage));
- }
- value *evaluate_for_sizeof (struct expression *exp, enum noside noside)
- override;
- value *evaluate_for_address (struct expression *exp, enum noside noside)
- override;
- value *evaluate_for_cast (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override;
- value *evaluate_funcall (struct type *expect_type,
- struct expression *exp,
- enum noside noside,
- const std::vector<operation_up> &args) override
- {
- const char *name = std::get<0> (m_storage).minsym->print_name ();
- return operation::evaluate_funcall (expect_type, exp, noside, name, args);
- }
- enum exp_opcode opcode () const override
- { return OP_VAR_MSYM_VALUE; }
- void set_outermost () override
- {
- m_outermost = true;
- }
- protected:
- /* True if this is the outermost operation in the expression. */
- bool m_outermost = false;
- void do_generate_ax (struct expression *exp,
- struct agent_expr *ax,
- struct axs_value *value,
- struct type *cast_type)
- override;
- };
- class var_entry_value_operation
- : public tuple_holding_operation<symbol *>
- {
- public:
- using tuple_holding_operation::tuple_holding_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- return eval_op_var_entry_value (expect_type, exp, noside,
- std::get<0> (m_storage));
- }
- enum exp_opcode opcode () const override
- { return OP_VAR_ENTRY_VALUE; }
- };
- class func_static_var_operation
- : public maybe_constant_operation<operation_up, std::string>
- {
- public:
- using maybe_constant_operation::maybe_constant_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- value *func = std::get<0> (m_storage)->evaluate (nullptr, exp, noside);
- return eval_op_func_static_var (expect_type, exp, noside, func,
- std::get<1> (m_storage).c_str ());
- }
- enum exp_opcode opcode () const override
- { return OP_FUNC_STATIC_VAR; }
- };
- class last_operation
- : public tuple_holding_operation<int>
- {
- public:
- using tuple_holding_operation::tuple_holding_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- return access_value_history (std::get<0> (m_storage));
- }
- enum exp_opcode opcode () const override
- { return OP_LAST; }
- };
- class register_operation
- : public tuple_holding_operation<std::string>
- {
- public:
- using tuple_holding_operation::tuple_holding_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- return eval_op_register (expect_type, exp, noside,
- std::get<0> (m_storage).c_str ());
- }
- enum exp_opcode opcode () const override
- { return OP_REGISTER; }
- /* Return the name of the register. */
- const char *get_name () const
- {
- return std::get<0> (m_storage).c_str ();
- }
- protected:
- void do_generate_ax (struct expression *exp,
- struct agent_expr *ax,
- struct axs_value *value,
- struct type *cast_type)
- override;
- };
- class bool_operation
- : public tuple_holding_operation<bool>
- {
- public:
- using tuple_holding_operation::tuple_holding_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- struct type *type = language_bool_type (exp->language_defn, exp->gdbarch);
- return value_from_longest (type, std::get<0> (m_storage));
- }
- enum exp_opcode opcode () const override
- { return OP_BOOL; }
- bool constant_p () const override
- { return true; }
- };
- class internalvar_operation
- : public tuple_holding_operation<internalvar *>
- {
- public:
- using tuple_holding_operation::tuple_holding_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- return value_of_internalvar (exp->gdbarch,
- std::get<0> (m_storage));
- }
- internalvar *get_internalvar () const
- {
- return std::get<0> (m_storage);
- }
- enum exp_opcode opcode () const override
- { return OP_INTERNALVAR; }
- protected:
- void do_generate_ax (struct expression *exp,
- struct agent_expr *ax,
- struct axs_value *value,
- struct type *cast_type)
- override;
- };
- class string_operation
- : public tuple_holding_operation<std::string>
- {
- public:
- using tuple_holding_operation::tuple_holding_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override;
- enum exp_opcode opcode () const override
- { return OP_STRING; }
- };
- class ternop_slice_operation
- : public maybe_constant_operation<operation_up, operation_up, operation_up>
- {
- public:
- using maybe_constant_operation::maybe_constant_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- struct value *array
- = std::get<0> (m_storage)->evaluate (nullptr, exp, noside);
- struct value *low
- = std::get<1> (m_storage)->evaluate (nullptr, exp, noside);
- struct value *upper
- = std::get<2> (m_storage)->evaluate (nullptr, exp, noside);
- return eval_op_ternop (expect_type, exp, noside, array, low, upper);
- }
- enum exp_opcode opcode () const override
- { return TERNOP_SLICE; }
- };
- class ternop_cond_operation
- : public maybe_constant_operation<operation_up, operation_up, operation_up>
- {
- public:
- using maybe_constant_operation::maybe_constant_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- struct value *val
- = std::get<0> (m_storage)->evaluate (nullptr, exp, noside);
- if (value_logical_not (val))
- return std::get<2> (m_storage)->evaluate (nullptr, exp, noside);
- return std::get<1> (m_storage)->evaluate (nullptr, exp, noside);
- }
- enum exp_opcode opcode () const override
- { return TERNOP_COND; }
- protected:
- void do_generate_ax (struct expression *exp,
- struct agent_expr *ax,
- struct axs_value *value,
- struct type *cast_type)
- override;
- };
- class complex_operation
- : public maybe_constant_operation<operation_up, operation_up, struct type *>
- {
- public:
- using maybe_constant_operation::maybe_constant_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- value *real = std::get<0> (m_storage)->evaluate (nullptr, exp, noside);
- value *imag = std::get<1> (m_storage)->evaluate (nullptr, exp, noside);
- return value_literal_complex (real, imag,
- std::get<2> (m_storage));
- }
- enum exp_opcode opcode () const override
- { return OP_COMPLEX; }
- };
- class structop_base_operation
- : public tuple_holding_operation<operation_up, std::string>
- {
- public:
- /* Used for completion. Return the field name. */
- const std::string &get_string () const
- {
- return std::get<1> (m_storage);
- }
- value *evaluate_funcall (struct type *expect_type,
- struct expression *exp,
- enum noside noside,
- const std::vector<operation_up> &args) override;
- /* Try to complete this operation in the context of EXP. TRACKER is
- the completion tracker to update. Return true if completion was
- possible, false otherwise. */
- virtual bool complete (struct expression *exp, completion_tracker &tracker)
- {
- return complete (exp, tracker, "");
- }
- protected:
- /* Do the work of the public 'complete' method. PREFIX is prepended
- to each result. */
- bool complete (struct expression *exp, completion_tracker &tracker,
- const char *prefix);
- using tuple_holding_operation::tuple_holding_operation;
- };
- class structop_operation
- : public structop_base_operation
- {
- public:
- using structop_base_operation::structop_base_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- value *val =std::get<0> (m_storage)->evaluate (nullptr, exp, noside);
- return eval_op_structop_struct (expect_type, exp, noside, val,
- std::get<1> (m_storage).c_str ());
- }
- enum exp_opcode opcode () const override
- { return STRUCTOP_STRUCT; }
- protected:
- void do_generate_ax (struct expression *exp,
- struct agent_expr *ax,
- struct axs_value *value,
- struct type *cast_type)
- override
- {
- gen_expr_structop (exp, STRUCTOP_STRUCT,
- std::get<0> (this->m_storage).get (),
- std::get<1> (this->m_storage).c_str (),
- ax, value);
- }
- };
- class structop_ptr_operation
- : public structop_base_operation
- {
- public:
- using structop_base_operation::structop_base_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- value *val = std::get<0> (m_storage)->evaluate (nullptr, exp, noside);
- return eval_op_structop_ptr (expect_type, exp, noside, val,
- std::get<1> (m_storage).c_str ());
- }
- enum exp_opcode opcode () const override
- { return STRUCTOP_PTR; }
- protected:
- void do_generate_ax (struct expression *exp,
- struct agent_expr *ax,
- struct axs_value *value,
- struct type *cast_type)
- override
- {
- gen_expr_structop (exp, STRUCTOP_PTR,
- std::get<0> (this->m_storage).get (),
- std::get<1> (this->m_storage).c_str (),
- ax, value);
- }
- };
- class structop_member_base
- : public tuple_holding_operation<operation_up, operation_up>
- {
- public:
- using tuple_holding_operation::tuple_holding_operation;
- value *evaluate_funcall (struct type *expect_type,
- struct expression *exp,
- enum noside noside,
- const std::vector<operation_up> &args) override;
- };
- class structop_member_operation
- : public structop_member_base
- {
- public:
- using structop_member_base::structop_member_base;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- value *lhs
- = std::get<0> (m_storage)->evaluate_for_address (exp, noside);
- value *rhs
- = std::get<1> (m_storage)->evaluate (nullptr, exp, noside);
- return eval_op_member (expect_type, exp, noside, lhs, rhs);
- }
- enum exp_opcode opcode () const override
- { return STRUCTOP_MEMBER; }
- };
- class structop_mptr_operation
- : public structop_member_base
- {
- public:
- using structop_member_base::structop_member_base;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- value *lhs
- = std::get<0> (m_storage)->evaluate (nullptr, exp, noside);
- value *rhs
- = std::get<1> (m_storage)->evaluate (nullptr, exp, noside);
- return eval_op_member (expect_type, exp, noside, lhs, rhs);
- }
- enum exp_opcode opcode () const override
- { return STRUCTOP_MPTR; }
- };
- class concat_operation
- : public maybe_constant_operation<operation_up, operation_up>
- {
- public:
- using maybe_constant_operation::maybe_constant_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- value *lhs
- = std::get<0> (m_storage)->evaluate_with_coercion (exp, noside);
- value *rhs
- = std::get<1> (m_storage)->evaluate_with_coercion (exp, noside);
- return value_concat (lhs, rhs);
- }
- enum exp_opcode opcode () const override
- { return BINOP_CONCAT; }
- };
- class add_operation
- : public maybe_constant_operation<operation_up, operation_up>
- {
- public:
- using maybe_constant_operation::maybe_constant_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- value *lhs
- = std::get<0> (m_storage)->evaluate_with_coercion (exp, noside);
- value *rhs
- = std::get<1> (m_storage)->evaluate_with_coercion (exp, noside);
- return eval_op_add (expect_type, exp, noside, lhs, rhs);
- }
- enum exp_opcode opcode () const override
- { return BINOP_ADD; }
- protected:
- void do_generate_ax (struct expression *exp,
- struct agent_expr *ax,
- struct axs_value *value,
- struct type *cast_type)
- override
- {
- gen_expr_binop (exp, BINOP_ADD,
- std::get<0> (this->m_storage).get (),
- std::get<1> (this->m_storage).get (),
- ax, value);
- }
- };
- class sub_operation
- : public maybe_constant_operation<operation_up, operation_up>
- {
- public:
- using maybe_constant_operation::maybe_constant_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- value *lhs
- = std::get<0> (m_storage)->evaluate_with_coercion (exp, noside);
- value *rhs
- = std::get<1> (m_storage)->evaluate_with_coercion (exp, noside);
- return eval_op_sub (expect_type, exp, noside, lhs, rhs);
- }
- enum exp_opcode opcode () const override
- { return BINOP_SUB; }
- protected:
- void do_generate_ax (struct expression *exp,
- struct agent_expr *ax,
- struct axs_value *value,
- struct type *cast_type)
- override
- {
- gen_expr_binop (exp, BINOP_SUB,
- std::get<0> (this->m_storage).get (),
- std::get<1> (this->m_storage).get (),
- ax, value);
- }
- };
- typedef struct value *binary_ftype (struct type *expect_type,
- struct expression *exp,
- enum noside noside, enum exp_opcode op,
- struct value *arg1, struct value *arg2);
- template<enum exp_opcode OP, binary_ftype FUNC>
- class binop_operation
- : public maybe_constant_operation<operation_up, operation_up>
- {
- public:
- using maybe_constant_operation::maybe_constant_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- value *lhs
- = std::get<0> (m_storage)->evaluate (nullptr, exp, noside);
- value *rhs
- = std::get<1> (m_storage)->evaluate (nullptr, exp, noside);
- return FUNC (expect_type, exp, noside, OP, lhs, rhs);
- }
- enum exp_opcode opcode () const override
- { return OP; }
- };
- template<enum exp_opcode OP, binary_ftype FUNC>
- class usual_ax_binop_operation
- : public binop_operation<OP, FUNC>
- {
- public:
- using binop_operation<OP, FUNC>::binop_operation;
- protected:
- void do_generate_ax (struct expression *exp,
- struct agent_expr *ax,
- struct axs_value *value,
- struct type *cast_type)
- override
- {
- gen_expr_binop (exp, OP,
- std::get<0> (this->m_storage).get (),
- std::get<1> (this->m_storage).get (),
- ax, value);
- }
- };
- using exp_operation = binop_operation<BINOP_EXP, eval_op_binary>;
- using intdiv_operation = binop_operation<BINOP_INTDIV, eval_op_binary>;
- using mod_operation = binop_operation<BINOP_MOD, eval_op_binary>;
- using mul_operation = usual_ax_binop_operation<BINOP_MUL, eval_op_binary>;
- using div_operation = usual_ax_binop_operation<BINOP_DIV, eval_op_binary>;
- using rem_operation = usual_ax_binop_operation<BINOP_REM, eval_op_binary>;
- using lsh_operation = usual_ax_binop_operation<BINOP_LSH, eval_op_binary>;
- using rsh_operation = usual_ax_binop_operation<BINOP_RSH, eval_op_binary>;
- using bitwise_and_operation
- = usual_ax_binop_operation<BINOP_BITWISE_AND, eval_op_binary>;
- using bitwise_ior_operation
- = usual_ax_binop_operation<BINOP_BITWISE_IOR, eval_op_binary>;
- using bitwise_xor_operation
- = usual_ax_binop_operation<BINOP_BITWISE_XOR, eval_op_binary>;
- class subscript_operation
- : public usual_ax_binop_operation<BINOP_SUBSCRIPT, eval_op_subscript>
- {
- public:
- using usual_ax_binop_operation<BINOP_SUBSCRIPT,
- eval_op_subscript>::usual_ax_binop_operation;
- value *evaluate_for_sizeof (struct expression *exp,
- enum noside noside) override;
- };
- /* Implementation of comparison operations. */
- template<enum exp_opcode OP, binary_ftype FUNC>
- class comparison_operation
- : public usual_ax_binop_operation<OP, FUNC>
- {
- public:
- using usual_ax_binop_operation<OP, FUNC>::usual_ax_binop_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- value *lhs
- = std::get<0> (this->m_storage)->evaluate (nullptr, exp, noside);
- value *rhs
- = std::get<1> (this->m_storage)->evaluate (value_type (lhs), exp,
- noside);
- return FUNC (expect_type, exp, noside, OP, lhs, rhs);
- }
- };
- class equal_operation
- : public comparison_operation<BINOP_EQUAL, eval_op_equal>
- {
- public:
- using comparison_operation::comparison_operation;
- operation *get_lhs () const
- {
- return std::get<0> (m_storage).get ();
- }
- operation *get_rhs () const
- {
- return std::get<1> (m_storage).get ();
- }
- };
- using notequal_operation
- = comparison_operation<BINOP_NOTEQUAL, eval_op_notequal>;
- using less_operation = comparison_operation<BINOP_LESS, eval_op_less>;
- using gtr_operation = comparison_operation<BINOP_GTR, eval_op_gtr>;
- using geq_operation = comparison_operation<BINOP_GEQ, eval_op_geq>;
- using leq_operation = comparison_operation<BINOP_LEQ, eval_op_leq>;
- /* Implement the GDB '@' repeat operator. */
- class repeat_operation
- : public binop_operation<BINOP_REPEAT, eval_op_repeat>
- {
- using binop_operation<BINOP_REPEAT, eval_op_repeat>::binop_operation;
- protected:
- void do_generate_ax (struct expression *exp,
- struct agent_expr *ax,
- struct axs_value *value,
- struct type *cast_type)
- override;
- };
- /* C-style comma operator. */
- class comma_operation
- : public maybe_constant_operation<operation_up, operation_up>
- {
- public:
- using maybe_constant_operation::maybe_constant_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- /* The left-hand-side is only evaluated for side effects, so don't
- bother in other modes. */
- if (noside == EVAL_NORMAL)
- std::get<0> (m_storage)->evaluate (nullptr, exp, noside);
- return std::get<1> (m_storage)->evaluate (nullptr, exp, noside);
- }
- enum exp_opcode opcode () const override
- { return BINOP_COMMA; }
- protected:
- void do_generate_ax (struct expression *exp,
- struct agent_expr *ax,
- struct axs_value *value,
- struct type *cast_type)
- override;
- };
- typedef struct value *unary_ftype (struct type *expect_type,
- struct expression *exp,
- enum noside noside, enum exp_opcode op,
- struct value *arg1);
- /* Base class for unary operations. */
- template<enum exp_opcode OP, unary_ftype FUNC>
- class unop_operation
- : public maybe_constant_operation<operation_up>
- {
- public:
- using maybe_constant_operation::maybe_constant_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- value *val = std::get<0> (m_storage)->evaluate (nullptr, exp, noside);
- return FUNC (expect_type, exp, noside, OP, val);
- }
- enum exp_opcode opcode () const override
- { return OP; }
- };
- /* Unary operations that can also be turned into agent expressions in
- the "usual" way. */
- template<enum exp_opcode OP, unary_ftype FUNC>
- class usual_ax_unop_operation
- : public unop_operation<OP, FUNC>
- {
- using unop_operation<OP, FUNC>::unop_operation;
- protected:
- void do_generate_ax (struct expression *exp,
- struct agent_expr *ax,
- struct axs_value *value,
- struct type *cast_type)
- override
- {
- gen_expr_unop (exp, OP,
- std::get<0> (this->m_storage).get (),
- ax, value);
- }
- };
- using unary_plus_operation = usual_ax_unop_operation<UNOP_PLUS, eval_op_plus>;
- using unary_neg_operation = usual_ax_unop_operation<UNOP_NEG, eval_op_neg>;
- using unary_complement_operation
- = usual_ax_unop_operation<UNOP_COMPLEMENT, eval_op_complement>;
- using unary_logical_not_operation
- = usual_ax_unop_operation<UNOP_LOGICAL_NOT, eval_op_lognot>;
- /* Handle pre- and post- increment and -decrement. */
- template<enum exp_opcode OP, unary_ftype FUNC>
- class unop_incr_operation
- : public tuple_holding_operation<operation_up>
- {
- public:
- using tuple_holding_operation::tuple_holding_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- value *val = std::get<0> (m_storage)->evaluate (expect_type, exp, noside);
- return FUNC (expect_type, exp, noside, OP, val);
- }
- enum exp_opcode opcode () const override
- { return OP; }
- };
- using preinc_operation
- = unop_incr_operation<UNOP_PREINCREMENT, eval_op_preinc>;
- using predec_operation
- = unop_incr_operation<UNOP_PREDECREMENT, eval_op_predec>;
- using postinc_operation
- = unop_incr_operation<UNOP_POSTINCREMENT, eval_op_postinc>;
- using postdec_operation
- = unop_incr_operation<UNOP_POSTDECREMENT, eval_op_postdec>;
- /* Base class for implementations of UNOP_IND. */
- class unop_ind_base_operation
- : public tuple_holding_operation<operation_up>
- {
- public:
- using tuple_holding_operation::tuple_holding_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- if (expect_type != nullptr && expect_type->code () == TYPE_CODE_PTR)
- expect_type = TYPE_TARGET_TYPE (check_typedef (expect_type));
- value *val = std::get<0> (m_storage)->evaluate (expect_type, exp, noside);
- return eval_op_ind (expect_type, exp, noside, val);
- }
- value *evaluate_for_address (struct expression *exp,
- enum noside noside) override;
- value *evaluate_for_sizeof (struct expression *exp,
- enum noside noside) override;
- enum exp_opcode opcode () const override
- { return UNOP_IND; }
- };
- /* Ordinary UNOP_IND implementation. */
- class unop_ind_operation
- : public unop_ind_base_operation
- {
- public:
- using unop_ind_base_operation::unop_ind_base_operation;
- protected:
- void do_generate_ax (struct expression *exp,
- struct agent_expr *ax,
- struct axs_value *value,
- struct type *cast_type)
- override
- {
- gen_expr_unop (exp, UNOP_IND,
- std::get<0> (this->m_storage).get (),
- ax, value);
- }
- };
- /* Implement OP_TYPE. */
- class type_operation
- : public tuple_holding_operation<struct type *>
- {
- public:
- using tuple_holding_operation::tuple_holding_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- return eval_op_type (expect_type, exp, noside, std::get<0> (m_storage));
- }
- enum exp_opcode opcode () const override
- { return OP_TYPE; }
- bool constant_p () const override
- { return true; }
- };
- /* Implement the "typeof" operation. */
- class typeof_operation
- : public maybe_constant_operation<operation_up>
- {
- public:
- using maybe_constant_operation::maybe_constant_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- if (noside == EVAL_AVOID_SIDE_EFFECTS)
- return std::get<0> (m_storage)->evaluate (nullptr, exp,
- EVAL_AVOID_SIDE_EFFECTS);
- else
- error (_("Attempt to use a type as an expression"));
- }
- enum exp_opcode opcode () const override
- { return OP_TYPEOF; }
- };
- /* Implement 'decltype'. */
- class decltype_operation
- : public maybe_constant_operation<operation_up>
- {
- public:
- using maybe_constant_operation::maybe_constant_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- if (noside == EVAL_AVOID_SIDE_EFFECTS)
- {
- value *result
- = std::get<0> (m_storage)->evaluate (nullptr, exp,
- EVAL_AVOID_SIDE_EFFECTS);
- enum exp_opcode sub_op = std::get<0> (m_storage)->opcode ();
- if (sub_op == BINOP_SUBSCRIPT
- || sub_op == STRUCTOP_MEMBER
- || sub_op == STRUCTOP_MPTR
- || sub_op == UNOP_IND
- || sub_op == STRUCTOP_STRUCT
- || sub_op == STRUCTOP_PTR
- || sub_op == OP_SCOPE)
- {
- struct type *type = value_type (result);
- if (!TYPE_IS_REFERENCE (type))
- {
- type = lookup_lvalue_reference_type (type);
- result = allocate_value (type);
- }
- }
- return result;
- }
- else
- error (_("Attempt to use a type as an expression"));
- }
- enum exp_opcode opcode () const override
- { return OP_DECLTYPE; }
- };
- /* Implement 'typeid'. */
- class typeid_operation
- : public tuple_holding_operation<operation_up>
- {
- public:
- using tuple_holding_operation::tuple_holding_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- enum exp_opcode sub_op = std::get<0> (m_storage)->opcode ();
- enum noside sub_noside
- = ((sub_op == OP_TYPE || sub_op == OP_DECLTYPE || sub_op == OP_TYPEOF)
- ? EVAL_AVOID_SIDE_EFFECTS
- : noside);
- value *result = std::get<0> (m_storage)->evaluate (nullptr, exp,
- sub_noside);
- if (noside != EVAL_NORMAL)
- return allocate_value (cplus_typeid_type (exp->gdbarch));
- return cplus_typeid (result);
- }
- enum exp_opcode opcode () const override
- { return OP_TYPEID; }
- };
- /* Implement the address-of operation. */
- class unop_addr_operation
- : public maybe_constant_operation<operation_up>
- {
- public:
- using maybe_constant_operation::maybe_constant_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- /* C++: check for and handle pointer to members. */
- return std::get<0> (m_storage)->evaluate_for_address (exp, noside);
- }
- enum exp_opcode opcode () const override
- { return UNOP_ADDR; }
- /* Return the subexpression. */
- const operation_up &get_expression () const
- {
- return std::get<0> (m_storage);
- }
- protected:
- void do_generate_ax (struct expression *exp,
- struct agent_expr *ax,
- struct axs_value *value,
- struct type *cast_type)
- override
- {
- gen_expr_unop (exp, UNOP_ADDR,
- std::get<0> (this->m_storage).get (),
- ax, value);
- }
- };
- /* Implement 'sizeof'. */
- class unop_sizeof_operation
- : public maybe_constant_operation<operation_up>
- {
- public:
- using maybe_constant_operation::maybe_constant_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- return std::get<0> (m_storage)->evaluate_for_sizeof (exp, noside);
- }
- enum exp_opcode opcode () const override
- { return UNOP_SIZEOF; }
- protected:
- void do_generate_ax (struct expression *exp,
- struct agent_expr *ax,
- struct axs_value *value,
- struct type *cast_type)
- override;
- };
- /* Implement 'alignof'. */
- class unop_alignof_operation
- : public maybe_constant_operation<operation_up>
- {
- public:
- using maybe_constant_operation::maybe_constant_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- value *val = std::get<0> (m_storage)->evaluate (nullptr, exp,
- EVAL_AVOID_SIDE_EFFECTS);
- return eval_op_alignof (expect_type, exp, noside, val);
- }
- enum exp_opcode opcode () const override
- { return UNOP_ALIGNOF; }
- };
- /* Implement UNOP_MEMVAL. */
- class unop_memval_operation
- : public tuple_holding_operation<operation_up, struct type *>
- {
- public:
- using tuple_holding_operation::tuple_holding_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- value *val = std::get<0> (m_storage)->evaluate (expect_type, exp, noside);
- return eval_op_memval (expect_type, exp, noside, val,
- std::get<1> (m_storage));
- }
- value *evaluate_for_sizeof (struct expression *exp,
- enum noside noside) override;
- value *evaluate_for_address (struct expression *exp,
- enum noside noside) override;
- enum exp_opcode opcode () const override
- { return UNOP_MEMVAL; }
- /* Return the type referenced by this object. */
- struct type *get_type () const
- {
- return std::get<1> (m_storage);
- }
- protected:
- void do_generate_ax (struct expression *exp,
- struct agent_expr *ax,
- struct axs_value *value,
- struct type *cast_type)
- override;
- };
- /* Implement UNOP_MEMVAL_TYPE. */
- class unop_memval_type_operation
- : public tuple_holding_operation<operation_up, operation_up>
- {
- public:
- using tuple_holding_operation::tuple_holding_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- value *typeval
- = std::get<0> (m_storage)->evaluate (expect_type, exp,
- EVAL_AVOID_SIDE_EFFECTS);
- struct type *type = value_type (typeval);
- value *val = std::get<1> (m_storage)->evaluate (expect_type, exp, noside);
- return eval_op_memval (expect_type, exp, noside, val, type);
- }
- value *evaluate_for_sizeof (struct expression *exp,
- enum noside noside) override;
- value *evaluate_for_address (struct expression *exp,
- enum noside noside) override;
- enum exp_opcode opcode () const override
- { return UNOP_MEMVAL_TYPE; }
- protected:
- void do_generate_ax (struct expression *exp,
- struct agent_expr *ax,
- struct axs_value *value,
- struct type *cast_type)
- override;
- };
- /* Implement the 'this' expression. */
- class op_this_operation
- : public tuple_holding_operation<>
- {
- public:
- using tuple_holding_operation::tuple_holding_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- return value_of_this (exp->language_defn);
- }
- enum exp_opcode opcode () const override
- { return OP_THIS; }
- protected:
- void do_generate_ax (struct expression *exp,
- struct agent_expr *ax,
- struct axs_value *value,
- struct type *cast_type)
- override;
- };
- /* Implement the "type instance" operation. */
- class type_instance_operation
- : public tuple_holding_operation<type_instance_flags, std::vector<type *>,
- operation_up>
- {
- public:
- using tuple_holding_operation::tuple_holding_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override;
- enum exp_opcode opcode () const override
- { return TYPE_INSTANCE; }
- };
- /* The assignment operator. */
- class assign_operation
- : public tuple_holding_operation<operation_up, operation_up>
- {
- public:
- using tuple_holding_operation::tuple_holding_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- value *lhs = std::get<0> (m_storage)->evaluate (nullptr, exp, noside);
- /* Special-case assignments where the left-hand-side is a
- convenience variable -- in these, don't bother setting an
- expected type. This avoids a weird case where re-assigning a
- string or array to an internal variable could error with "Too
- many array elements". */
- struct type *xtype = (VALUE_LVAL (lhs) == lval_internalvar
- ? nullptr
- : value_type (lhs));
- value *rhs = std::get<1> (m_storage)->evaluate (xtype, exp, noside);
- if (noside == EVAL_AVOID_SIDE_EFFECTS)
- return lhs;
- if (binop_user_defined_p (BINOP_ASSIGN, lhs, rhs))
- return value_x_binop (lhs, rhs, BINOP_ASSIGN, OP_NULL, noside);
- else
- return value_assign (lhs, rhs);
- }
- enum exp_opcode opcode () const override
- { return BINOP_ASSIGN; }
- /* Return the left-hand-side of the assignment. */
- operation *get_lhs () const
- {
- return std::get<0> (m_storage).get ();
- }
- protected:
- void do_generate_ax (struct expression *exp,
- struct agent_expr *ax,
- struct axs_value *value,
- struct type *cast_type)
- override;
- };
- /* Assignment with modification, like "+=". */
- class assign_modify_operation
- : public tuple_holding_operation<exp_opcode, operation_up, operation_up>
- {
- public:
- using tuple_holding_operation::tuple_holding_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- value *lhs = std::get<1> (m_storage)->evaluate (nullptr, exp, noside);
- value *rhs = std::get<2> (m_storage)->evaluate (expect_type, exp, noside);
- return eval_binop_assign_modify (expect_type, exp, noside,
- std::get<0> (m_storage), lhs, rhs);
- }
- enum exp_opcode opcode () const override
- { return BINOP_ASSIGN_MODIFY; }
- protected:
- void do_generate_ax (struct expression *exp,
- struct agent_expr *ax,
- struct axs_value *value,
- struct type *cast_type)
- override;
- };
- /* Not a cast! Extract a value of a given type from the contents of a
- value. The new value is extracted from the least significant bytes
- of the old value. The new value's type must be no bigger than the
- old values type. */
- class unop_extract_operation
- : public maybe_constant_operation<operation_up, struct type *>
- {
- public:
- using maybe_constant_operation::maybe_constant_operation;
- value *evaluate (struct type *expect_type, struct expression *exp,
- enum noside noside) override;
- enum exp_opcode opcode () const override
- { return UNOP_EXTRACT; }
- /* Return the type referenced by this object. */
- struct type *get_type () const
- {
- return std::get<1> (m_storage);
- }
- protected:
- void do_generate_ax (struct expression *exp,
- struct agent_expr *ax,
- struct axs_value *value,
- struct type *cast_type) override;
- };
- /* A type cast. */
- class unop_cast_operation
- : public maybe_constant_operation<operation_up, struct type *>
- {
- public:
- using maybe_constant_operation::maybe_constant_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- return std::get<0> (m_storage)->evaluate_for_cast (std::get<1> (m_storage),
- exp, noside);
- }
- enum exp_opcode opcode () const override
- { return UNOP_CAST; }
- /* Return the type referenced by this object. */
- struct type *get_type () const
- {
- return std::get<1> (m_storage);
- }
- protected:
- void do_generate_ax (struct expression *exp,
- struct agent_expr *ax,
- struct axs_value *value,
- struct type *cast_type)
- override;
- };
- /* A cast, but the type comes from an expression, not a "struct
- type". */
- class unop_cast_type_operation
- : public maybe_constant_operation<operation_up, operation_up>
- {
- public:
- using maybe_constant_operation::maybe_constant_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- value *val = std::get<0> (m_storage)->evaluate (nullptr, exp,
- EVAL_AVOID_SIDE_EFFECTS);
- return std::get<1> (m_storage)->evaluate_for_cast (value_type (val),
- exp, noside);
- }
- enum exp_opcode opcode () const override
- { return UNOP_CAST_TYPE; }
- protected:
- void do_generate_ax (struct expression *exp,
- struct agent_expr *ax,
- struct axs_value *value,
- struct type *cast_type)
- override;
- };
- typedef value *cxx_cast_ftype (struct type *, value *);
- /* This implements dynamic_cast and reinterpret_cast. static_cast and
- const_cast are handled by the ordinary case operations. */
- template<exp_opcode OP, cxx_cast_ftype FUNC>
- class cxx_cast_operation
- : public maybe_constant_operation<operation_up, operation_up>
- {
- public:
- using maybe_constant_operation::maybe_constant_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- value *val = std::get<0> (m_storage)->evaluate (nullptr, exp,
- EVAL_AVOID_SIDE_EFFECTS);
- struct type *type = value_type (val);
- value *rhs = std::get<1> (m_storage)->evaluate (type, exp, noside);
- return FUNC (type, rhs);
- }
- enum exp_opcode opcode () const override
- { return OP; }
- };
- using dynamic_cast_operation = cxx_cast_operation<UNOP_DYNAMIC_CAST,
- value_dynamic_cast>;
- using reinterpret_cast_operation = cxx_cast_operation<UNOP_REINTERPRET_CAST,
- value_reinterpret_cast>;
- /* Multi-dimensional subscripting. */
- class multi_subscript_operation
- : public tuple_holding_operation<operation_up, std::vector<operation_up>>
- {
- public:
- using tuple_holding_operation::tuple_holding_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override;
- enum exp_opcode opcode () const override
- { return MULTI_SUBSCRIPT; }
- };
- /* The "&&" operator. */
- class logical_and_operation
- : public maybe_constant_operation<operation_up, operation_up>
- {
- public:
- using maybe_constant_operation::maybe_constant_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override;
- enum exp_opcode opcode () const override
- { return BINOP_LOGICAL_AND; }
- protected:
- void do_generate_ax (struct expression *exp,
- struct agent_expr *ax,
- struct axs_value *value,
- struct type *cast_type)
- override;
- };
- /* The "||" operator. */
- class logical_or_operation
- : public maybe_constant_operation<operation_up, operation_up>
- {
- public:
- using maybe_constant_operation::maybe_constant_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override;
- enum exp_opcode opcode () const override
- { return BINOP_LOGICAL_OR; }
- protected:
- void do_generate_ax (struct expression *exp,
- struct agent_expr *ax,
- struct axs_value *value,
- struct type *cast_type)
- override;
- };
- /* This class implements ADL (aka Koenig) function calls for C++. It
- holds the name of the function to call, the block in which the
- lookup should be done, and a vector of arguments. */
- class adl_func_operation
- : public tuple_holding_operation<std::string, const block *,
- std::vector<operation_up>>
- {
- public:
- using tuple_holding_operation::tuple_holding_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override;
- enum exp_opcode opcode () const override
- { return OP_ADL_FUNC; }
- };
- /* The OP_ARRAY operation. */
- class array_operation
- : public tuple_holding_operation<int, int, std::vector<operation_up>>
- {
- public:
- using tuple_holding_operation::tuple_holding_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override;
- enum exp_opcode opcode () const override
- { return OP_ARRAY; }
- private:
- struct value *evaluate_struct_tuple (struct value *struct_val,
- struct expression *exp,
- enum noside noside, int nargs);
- };
- /* A function call. This holds the callee operation and the
- arguments. */
- class funcall_operation
- : public tuple_holding_operation<operation_up, std::vector<operation_up>>
- {
- public:
- using tuple_holding_operation::tuple_holding_operation;
- value *evaluate (struct type *expect_type,
- struct expression *exp,
- enum noside noside) override
- {
- return std::get<0> (m_storage)->evaluate_funcall (expect_type, exp, noside,
- std::get<1> (m_storage));
- }
- enum exp_opcode opcode () const override
- { return OP_FUNCALL; }
- };
- } /* namespace expr */
- #endif /* EXPOP_H */
|