aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* Fix compiler warningSamuel Thibault2016-12-191-1/+1
|
* GNU MIG 1.8Thomas Schwinge2016-12-182-2/+2
| | | | | * configure.ac (AC_INIT): Set version to 1.8. * NEWS: Finalize for 1.8.
* Remove bullet points from NEWS fileThomas Schwinge2016-12-131-69/+69
| | | | | | ... to match the GNU Mach and Hurd NEWS files. * NEWS: Remove bullet points.
* Update the NEWS fileJustus Winter2016-12-091-0/+5
|
* Fix spurious warning on MACH_MSG_TYPE_POLYMORPHIC valueSamuel Thibault2016-10-101-2/+2
| | | | | * utils.c (WriteCheckDecl, WriteStaticShortDecl): Explicitly cast name to unsigned char to ignore truncation of MACH_MSG_TYPE_POLYMORPHIC i.e. -1.
* fix typoSamuel Thibault2016-09-201-1/+1
|
* GNU MIG 1.7Thomas Schwinge2016-05-182-3/+3
| | | | | * configure.ac (AC_INIT): Set version to 1.7. * NEWS: Finalize for 1.7.
* Add missing EXTRA_DISTSamuel Thibault2016-05-034-0/+5
| | | | | | | | | | * tests/Makefile.am (EXTRA_DIST): Add base_types.defs test_lib.sh includes/all.h includes/mach/mig_support.h includes/server.h includes/types.h includes/user.h. * tests/bad/Makefile.am (EXTRA_DIST): Add $(TESTS) run_bad_test.sh. * tests/generate-only/Makefile.am (EXTRA_DIST): Add $(TESTS) run_generate_only_test.sh. * tests/good/Makefile.am (EXTRA_DIST): Add $(TESTS) run_good_test.sh.
* Simplify ArgumentType production rule.Flavio Cruz2016-04-261-8/+8
| | | | * parser.y: Move syColon from ArgumentType into Argument.
* Make Git ignore some more automatically generated filesDavid Michael2016-04-201-2/+3
| | | | * .gitignore: Ignore parser.h and all Makefile/Makefile.in files.
* Use the target platform compiler in the test scriptsDavid Michael2016-04-201-1/+1
| | | | * tests/Makeconf.am (AM_TESTS_ENVIRONMENT): Set CC to $(TARGET_CC).
* Update NEWSJustus Winter2016-04-201-0/+5
|
* Simple testsuite for MIG.Flavio Cruz2016-04-1929-1/+676
| | | | | | | | | | | | | | | | | | | | | | | | | | This includes a set of valid and invalid definition files that MIG will try to process. For valid definitions, GCC will compile the stubs to check if valid C code was generated. * configure.ac: Add new test Makefiles. * Makefile.am: Add SUBDIRS. * tests/Makeconf.am: Automake definitions shared by all test subdirectories. * tests/test_lib.sh: Library of functions shared by all test drivers. * tests/good/run_good_test.sh: Script to run valid definition files. * tests/good/Makefile.am: New file. * tests/bad/Makefile.am: New file. * tests/generate-only/Makefile.am: New file. * tests/bad/run_bad_test.sh: Script to run invalid definition files. * tests/generate-only/run_generate_only.sh: Script to run valid definition files that should be generated only. * tests/includes/*.h: Test header files that are included by test stubs. * tests/good/*.defs: Valid definition files where generated stubs can be compiled. * tests/generate_only/*.defs: Valid definition files that can be generated but no compilation should be attempted. * tests/bad/*.defs: Definition files with problems that should be detected by MIG.
* Update NEWS fileJustus Winter2016-04-151-0/+14
|
* Include stdint.h in stub code by default.Flavio Cruz2016-04-052-0/+2
| | | | | * server.c: Include stdint.h in the header code. * user.c: Likewise.
* Use uint32_t instead of unsigned32_t.Flavio Cruz2016-04-041-1/+1
| | | | * utils.c: Generate code using uint32_t.
* Fix use of stringize in lexxer.lFlavio Cruz2016-04-041-5/+11
| | | | | | | | The fields instr and outstr should be set to a string and not to the stringified number represented by the string. This improves the readability of mig stubs code that creates mach_msg_type_t values for messages. * lexxer.l: Inline stringize in TPRETURN and TRETURN.
* Use word_size instead of 4.Flavio Cruz2016-04-033-22/+22
| | | | | | * server.c: Use word_size and update comments. * type.c: Use word_size to compute padding. * user.c: Use word_size and update comments.
* Remove functions, procedures and simple procedures.Flavio Cruz2016-03-205-143/+18
| | | | | | | | | | | | | This has been tested by cross-compiling a base Hurd system to make sure these kinds of routines are no longer used. * lexxer.l: Remove tokens. * parser.y: Remove token types and production rules. * routine.c: Remove rtMakeProcedure, rtMakeSimpleProcedure, rtMakeFunction. * routine.h: Remove enum values rkSimpleProcedure, rkProcedure, rkFunction. Remove dead fields from struct routine. * user.c: Simplify and remove dead code.
* Simpler lexer regexps of case insensitive keywords.Flavio Cruz2016-03-192-51/+51
| | | | | * lexxer.l: Use (?i) for matching case insensitive keywords. * README: Fix typo.
* Automatically generate parser.h.Flavio Cruz2016-03-153-91/+7
| | | | | | | | * Makefile.am: Set AM_YFLAGS to -d to generate parser.h. Add parser.h to CLEANFILES and include parser.h as a dependency of lexxer.c. * lexxer.l: Declare yyerror here. * parser.h: Remove file since yacc will generate the same content automatically.
* Correctly initialize prototype in itAlloc.Flavio Cruz2016-03-071-0/+1
| | | | * type.c (itAlloc): Initialize itKernelPort to FALSE.
* Cast kernel server port arguments to the correct type.Flavio Cruz2016-02-093-4/+24
| | | | | | * server.c: Add cast for ipc_port_t arguments that are handled differently. * type.c: Set itKernelPort when the mach_port_t is treated as a ipc_port_t. * type.h: Add itKernelPort to struct ipc_type.
* GNU MIG 1.6Thomas Schwinge2015-10-312-4/+4
| | | | | * configure.ac (AC_INIT): Set version to 1.6. * NEWS: Finalize for 1.6.
* Update NEWS fileJustus Winter2015-10-051-0/+5
|
* Change x_server_routine functions to "static inline" for -std=gnu11David Michael2015-06-052-7/+1
| | | | | * header.c (WriteServerHeader): Replace "extern" with "static". * server.c (WriteEpilog): Remove WriteSubsystemServerRoutine call.
* GNU MIG 1.5.Thomas Schwinge2015-04-102-20/+11
| | | | | * configure.ac (AC_INIT): Set version to 1.5. * NEWS: Finalize for 1.5.
* Do not generate code dereferencing type-punned pointersJustus Winter2015-02-155-14/+23
| | | | | | | | | | | | | | | | | | | | | | For variable-length arrays, up to 2048 bytes are transmitted inline. If the array is larger, the data is transmitted out-of-line, and a pointer to a vm_allocated region is stored at the beginning of the array. Previously, the generated code casted the field. Use a union instead. This fixes the gcc warning `dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]'. * global.c (OOLPostfix): New variable. * global.h (OOLPostfix): New declaration. * server.c (WriteServerCallArg): Avoid cast. (WriteDestroyArg): Likewise. (WritePackArgValue): Likewise. (WritePackArg): Likewise. * user.c (WriteExtractArgValue): Likewise. * utils.c (WriteFieldDeclPrim): Generate a union with an additional pointer field for variable-length arrays.
* Test the configured yacc programDavid Michael2015-02-061-1/+1
| | | | * configure.ac (yacc_is_bison): Test the configured yacc program.
* Check that yacc is provided by bisonYves-Gael Cheny ( irc hurdman_begin )2015-02-061-0/+6
| | | | * configure.ac: Check that yacc --version contains bison.
* Add static branch prediction to type checksJustus Winter2014-12-013-23/+34
| | | | | | | | | Annotate generated type checks with static branch prediction optimizing well-formed messages. * utils.c (WriteBogusDefines): Define `mig_unlikely' if not defined. * server.c: Use `mig_unlikely' in generated type checks. * user.c: Likewise.
* Provide default implementations for server functionsJustus Winter2014-11-061-0/+24
| | | | | | | | By providing default implementations, servers can provide partial implementations of protocols without having to stub out functions. * server.c (WriteDefaultRoutine): New function. (WriteRoutine): Call WriteDefaultRoutine.
* Add support for protected payloadsJustus Winter2014-10-108-6/+75
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Add support for protected payloads. The new `intranpayload' option can be used to specify a translation function translating payloads to values of the translated type. This function will be used instead of the `intran' function to to look up the receiving object of a message in a server. This makes it easy to use the protected payloads introduced in GNU Mach 1.5. An inTransPayload function translates payloads to objects, like an inTrans function translates from port names to objects. Generate code in the server routine to optimize lookups to the receiver of the message. Additionally, if no intran function is provided, but an intranpayload function is, it is expected to translate from payloads to port names. This is used to preserve the semantics in case the server routine expects a port name. * NEWS: Add item. * lexxer.l: Emit syInTranPayload. * parser.h: Define syInTranPayload. * parser.y (TransTypeSpec): Handle syInTranPayload. * type.h (struct ipc_type): Add itInTransPayload. * server.c (WriteExtractArgValue): If a payload-aware intrans function has been specified, use it to get a reference to the receiving object. * routine.c (rtAugmentArgKind): Force the use of a local variable if a payload-aware translate-in function is defined.
* Update NEWS fileJustus Winter2014-09-241-0/+10
|
* Fix variable-sized c stringsJustus Winter2014-02-212-0/+10
| | | | | | | | | | | | Previously, the terminating zero of variable-sized c strings was only included when copying the message if the length of the string was not a multiple of four. mig_strncpy returns the length of the string excluding the terminating zero. Fix this by properly accounting for the byte for the terminating zero in the array length. * server.c (WritePackArgValue): Account for the terminating zero in the array length. * user.c (WritePackArgValue): Likewise.
* Generate a x_server_routine in the sheader so it can be inlinedJustus Winter2013-12-162-1/+11
| | | | | | | * header.c (WriteServerHeader): Emit a x_server_routine that can be inlined. * server.c (WriteEpilog): Export the x_routines array so it can be used from the inlined x_server_routine.
* Move the generation of x_server_routine function into a functionJustus Winter2013-12-162-14/+22
| | | | | | * server.c (WriteSubsystemServerRoutine): New function. (WriteEpilog): Adjust accordingly. * write.h (WriteSubsystemServerRoutine): New declaration.
* Clean up generated sourcesJustus Winter2013-12-161-1/+1
| | | | * Makefile (CLEANFILES): Add generated source files lexxer.c and parser.c.
* Avoid a compiler warning in WriteDefinesJustus Winter2013-12-161-0/+1
| | | | * header.c (WriteDefines): Avoid warning about unused parameter.
* Advise flex not to generate the input functionJustus Winter2013-12-161-0/+3
| | | | | | This avoids a warning about input being unused. * lexxer.l: Define YY_NO_INPUT.
* mig/server.c (WriteVarDecls): quiet GCC warning about set but unused variableMarin Ramesa2013-12-151-2/+2
| | | | | | | This is again that code where variable is assigned to itself, but I don't know how to fix this the other way. * server.c (WriteVarDecls) (msgh_simple): Assign to itself.
* GNU MIG 1.4.Thomas Schwinge2013-09-273-27/+29
| | | | | | * configure.ac (AC_INIT): Set version to 1.4. * NEWS: Finalize changes for 1.4. * README: Update.
* Generate ChangeLog files for distributions.Thomas Schwinge2013-09-272-0/+456
| | | | | | | * gitlog-to-changelog: New file; import from gnulib's 9fc81090f6c5590bd1b0e0fa5087577a2ee43a3e:build-aux/gitlog-to-changelog. * Makefile.am (gen-ChangeLog): New target. (dist-hook): Depend on it.
* Drop the auto keywordJustus Winter2013-09-041-3/+3
| | | | | | | | | | Drop the auto keyword from the generated source code. auto is the default storage type for variables anyway and it is customary to omit it. * utils.c (WriteCheckDecl): Drop auto from generated source. (WriteStaticLongDecl): Likewise. (WriteStaticShortDecl): Likewise.
* Drop alloca.cJustus Winter2013-08-193-506/+1
| | | | | | | | This file was only used with GCC < 2, so it's time to drop it. * alloca.c: Remove file. * configure.ac: Remove test for alloca. * Makefile.am (migcom_LDADD): Remove @ALLOCA@.
* Drop the register keywordJustus Winter2013-08-1912-224/+224
| | | | | | | | | | | | | | | | | | | Drop the register keyword both from MIGs code and from the generated code. The register keyword is only a hint and it is ignored by modern compilers. * alloca.c: Drop the register keyword. * header.c: Likewise. * lexxer.l: Likewise. * parser.y: Likewise. * routine.c: Likewise. * server.c: Likewise. * statement.c: Likewise. * string.c: Likewise. * type.c: Likewise. * user.c: Likewise. * utils.c: Likewise. * vprint.c: Likewise.
* Remove unused file alloc.hJustus Winter2013-08-192-35/+1
| | | | | * alloc.h: Remove file. * Makefile (migcom_SOURCES): Remove alloc.h.
* Fix spurious deallocationOlaf Buddenhagen2013-02-191-2/+7
| | | | | * server.c (WriteDestroyArg): Only dealloc out-of-line memory from request message if KERN_SUCCESS.
* Merge remote-tracking branch 'savannah/master'Thomas Schwinge2012-09-091-1/+1
|\
| * Merge branch 'master' of git.savannah.gnu.org:/srv/git/hurd/migSamuel Thibault2012-07-011-14/+17
| |\
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-04 11:05:01 +0000