Christian Kästner

Results 15 issues of Christian Kästner

create separate containers for crawler, database, and web servers for easy distributed deployment

enhancement

This occurs quite frequently during linking, that two files cannot be linked together but are also just compiled as separate modules (which controls linking restrictively). First of all, we need...

FeatureModelExtraction
CLinker

Issue occured in security/smack/smackfs, where MODULE is handled incorrectly incorrect handling of CONFIG_MODULES the whole file can only be compiled in obj-y or obj-n because CONFIG_SECURITY_SMACK is a boolean option....

BuildSystemAnalysis

Currently, the struct environment contains a choice of StructTag. If a choice is redeclared in different contexts, this causes unnecessary computations. Instead, there should be only a single structTag with...

volatile and const are relevant when they occur outside of function declarations see http://www.spinellis.gr/pubs/jrnl/1993-JCLT-CType/html/tsl.html

CLinker

handle all structs like anonymous structs and check variability within structs for compatibility structs need to have the same fields (order does not matter) with compatible types see also http://www.spinellis.gr/pubs/jrnl/1993-JCLT-CType/html/tsl.html

CLinker

Parsing of labeled statements is incorrect (our grammar needs fixing) We parse labels as separate statements. That is `a: b: c();` is parsed as three statements: `List(LabeledStatement(a), LabeledStatement(b), FunctionCall(c..))`. In...

CParser

# include is not processed correctly in some cases when followed by a macro with alternative expansions (alternative expansion creates #if directions that are reparsed)

PartialPreprocessor

With this attribute the symbol is emitted as a weak symbol that may be overridden by other exports. http://gcc.gnu.org/onlinedocs/gcc-3.2/gcc/Function-Attributes.html A notion of weak symbols is not supported yet by our...

CLinker

in `/Kbuild` there is a generation process for generating `include/generated/bounds.h` (and others). The file is generated by Kbuild and sets two macros MAX_NR_ZONES and NR_PAGEFLAGS (at least the latter of...