vtos builtin

Have the parser generate immediates AFTER generating the globals for correct def layout

First generate the globals, then the fields, so the defs have the correct layout for quake

-printdefs for qcvm

option: -force-crc=number, added -info to executor to just show some file info like the crc, and -printfields to print a list of fields along with their type and position

Pop off all the locals after a function

some vector tests

make track=no adds -DNOTRACK WARNING: do not compile only parts of the code with that... it would cause major breakage

-Wimplicit-function-pointer, functions without bodies still have a global function variable and thus are function pointers, though this shouldn't really be used, thus -Wimplicit-function-pointer is on by default

Don't try to generate function code for functions without bodies

Removing -std=c90, which was just used to make sure things stayed portable

ast_ifthen_codegen: the merge-jumps for an if's branches need to be added to the endblock of the branch, not the beginning

Since we currently append AINSTR_END to the end of all functions for debugging purposes, and darkplaces complains when the very last statement isn't INSTR_DONE or INSTR_RETURN, we append an INSTR_DONE at the very end

Do not generate an OFS_RETURN variable, the IR doesn't need to know it as such

Fix getline usage in main.c, fix WARN_VOID_VARIABLE -> WARN_VOID_VARIABLES in main.c

TYPE_FUNCTION values which are not constant are now allowed to be generated, they are function pointers.

right... instead of checking for end_sys_globals twice, maybe ACTUALLY check for end_sys_fields too...

-Wvoid-variables, QC uses 2 special void-typed variables: end_sys_globals and .end_sys_fields. However if for some reason someone wants more, we still allow them to be code-generated, but by default warn about them by default

let test_ast compile again

uninit.qc test

nicer output for lost blocks in memory info

memblock_t is now a double-linked list so we can show where data was allocated which hasn't been freed

at last, the annoying missing ast_delete(typevar)

some more error situations where typevar wouldn't get freed

Fix some comment styles...

Fix output of util_memory_d

new warning: -Wlocal-constants

don't _move_ values out of immediates, it causes NULL strings to be code-generated

Since function prototypes now don't cause the function to become a constant, we cannot check for a constant in [frame,think] notations anymore

Better handling of EOF - encountering EOF in parser_next will not return false yet, this is a more elegant way...

better handlign of a too early error condition

Lexer now returns TOKEN_EOF only once and afterwards TOKEN_FATAL

Fix correction of parsiong of multiple variables: parse past the comma

Creating the ast_function for a function only when encountering its body, so if no body is specified it works like a function pointer - just like QC wants it

Corrected parsing of declarations of multiple variables

ir_values which are members of a vector should know that, so that liferange calc can use the vector rather than the member

added -Wused-uninitialized and warning about variables which may be used without being initialized

Removing the old LIFE_RANGE_WITHOUT_LAST_READ support

strip the newlines out of ir error messages, they're added by the msgprint routine

more context copies

have the ir take over some more context data from the ast

add the backticks for a warning

add the type for the invalid-type-for-global message

ir_value_set_string needs to use a strdup which doesn't return NULL for an emptystring

take 'warnreturn' into account, don't ignore the parsewarnin's Werror status

Don't have the ast's codegen error on missing returns

set -Wmissing-return-values to on by default, new warning: control reaches end of non-void...

parse_block gets a warn-return bool flag

functions which have no living values but store_return values may cause the allocator to be run with no allocations being made - in this case we shouldn't try accessing the empty array and simply exit the allocator

same as before for loops: don't try creating a jump if the body ends in a return

don't try to create jumps in ifs if the block is already done

have function declarations of functions with prototypes take over the actual declaration's body's context data

provide the context to ir_functions

relax parse_close_paren to allow values in parenthesis with no operators... duh

fix: use thinkfunc not nextthink, nextthink is set later

Automatic prototyping of frame-functions

Removing old commented-out code

missing initializer

IR generation: for functions: first generate all defs, then the code, so access to prototyped functions doesn't result in NULL code

setting data/frames.qc right again

STOREP instructions' first operand has to be considered a read-operand, not a write operand, otherwise the life ranges will be wrong, and the value itself IS only read, not written to

for void returning functions we can use store_return to avoid a useless store after it

calls for now use store_value since we don't properly deal with its liferange yet; fixing some local-alloation things; taking call parameters into account in ir_block_life_propagate

Fixing a misleading error message in ir.c

ir: fix bug that functions without declared locals would put temps at position zero ...

Nicer prints in exec's prog_print_statement

fix a wrong print in parsing.qc test

Oops setting wrong members

data/frames.qc to test [frame,think]

First draft of handling the [frame,think] notation

qcvm: -trace flag

Factoring out duplicate code into a function: create_vector_members; creating vector members for vector function parameters

implement correct behaviour for shadows locals

-Wlocal-shadows - note that -std=gmqcc is very different from the rest

splitting parser_find_local up into find_local and find_param - find_local also takes a bool-ptr to tell the caller if it was a local or a global

quotes around the variable name in some messages

remove trailing \n from 2 error messages

set olddecl so we don't access a NULL value when a variable already exists

oops - parsewarning returns true on -Werror, so we gotta invert here

-Wtoo-few-parameters on by deafult - for -std=gmqcc it's always an error

ast_type_adopt - ast_entfield now adopts the full type of the field

-Wmissing-return-values, off by default, ignored with -std=gmqcc because in that standard it'll error

data/vars.qc - when declaring a function, and it had a prototype - use the new parameter names instead of the ones from the prototype, otherwise things get messy

ast_unary needs to set its type

Disable the member-of namespace check when -std != gmqcc

move the member-of check for '.' to after applying the previous dot operators so we don't need parens around 'a.b' of 'a.b.c = x'

data/functions.qc for some more tests

ast_call: adopt the funciton's return type

ast_return_delete: check if self->operand is actually set before ast_unref-ing it

Use the current context, not the one from a NULL value... for ast_return

 parse 'return' without values better

ast_return should accept NULL as value to create a simple 'return' without a value

Fixup some possibly uninitialized value when parsing 'return'

set expression.next to NULL in ast_block_set_type if it won't be set to a new value

Don't re-add defs which had a prototype

adding data/proto.qc

ast_value_copy should copy the expression substructure as well - exposing ast_value_copy to the outside since the parser needs to copy complete types when multiple variables are declared with commas

initialize the ast_expression node in ast_shallow_type properly as well

initialize the ast_expression node in ast_type_copy properly

keep the filenames of all lexed files in a global lex_filenames vector because we don't strdup the filenames into lex_ctx, but copy the pointer