2005-04-08 |
Linus Torvalds | With no input files, the checker would SIGSEGV.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Make the lazy pointer evaluation marker explicit.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | simplify_int_binop: split signed and unsigned operations
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Simplify "typeof" handling.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Remove premature tree optimization on member accesses.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Fix linearization of for-loops.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Better error message about _which_ label has already
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Ok, enable linearization in "check" (aka sparse)
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Don't die on unknown expressions at linearization time.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Linearize EXPR_LABEL as a value, the same as other...
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | The type of a label is the type of the statement it...
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Fix some linearization warning strings.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | A statement expression has type "void" if the last
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Fix silly typo in new fp->integer constant conversion.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Make #include handling do the right thing for absolute...
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Handle tokenized include-filename with angle brackets.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Move the check for assignment to "const" to the evaluation...
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Warn about assignments to 'const' types.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Warn about missing ';' at end of declaration.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | C99 says strings should be up to 4095 bytes.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Don't allow string concatenation to overflow MAX_STRING.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Fix up "alignof" handling.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | The base type of an enum is "int".
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | The value of a token that gets defined on the command...
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Make sparse accept strings up to 2kB in length.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Special evaluation rules for function argument types:
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Check for duplicate symbol info after having
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Handle EXPR_INDEX when copying expressions.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Fix integer/pointer errors in sparse.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Warn about plain integer conversion to NULL pointer.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Use 'is_null_ptr()' helper instead of open-coding the
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | If int/long are the same size, an int that overflows...
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Allow scalar initializers - they act largely like arrays...
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Allow void returns in void functions.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Macroize lr_binop_expression() helper function.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Warn about unhandled expression and statement types...
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Make sure we don't silently accept an empty expression
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Shrink "struct token" by moving "noexpand" into the...
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Oops. Al forgot to handle the new TOKEN_UNTAINT in...
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Ok, this handles all token types in token comparison,
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Be a bit better about comparing token lists.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Use the proper wrapper to access token types.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Fix equality testing for macro re-definition.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Introduce a "incomplete type" rather than leaving
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Avoid crashing on bad type information in type_difference().
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Allow underscores in integer constants for readability.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Now that we do the proper (simplified) C99 number token
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Remove TOKEN_FP vs TOKEN_INTEGER distinction, and make...
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Start fixing pp-number tokenization.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | This should largely fix token pasting.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Make the token pasting validation thing actually valid
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Use "-O" to compile sparse, to make the compiler warn...
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Make sure data allocations are properly aligned.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Remove __i386__ define, since people (including me...
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Do a better job of tracking array node attributes
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Allow casting of user pointers to "unsigned long".
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Warn about casts that remove address space information.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Add "force" type attribute.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Don't get confused about "void *" nodes.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | The "original definition" part of the redefined warning
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Remove empty definition of "cond_syscall()".
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Use new "info()" function for the type warning information.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Add "info()" for informational messages, to go together...
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Make sparse sources themselves be sparse-clean.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Remove bogus overly permissive type-comparisons.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | When dereferencing an array, we need to pick up the
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Degenerate the final expression of a statement expression.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | User-defined types can mix with storage specifiers...
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Add attribute mode "__QI__"
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | __builtin_memset() returns a "void *"
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Make sure user-defined types don't mix with other
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | That last type optimization was wrong.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Don't unnecessarily create a new ctype in degenerate...
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Duh. When I split up degenerate() and evaluate_addressof(),
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Be more careful about "evaluate_dereference()".
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Fix "addressof" of arrays.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Use "show_ident()" to show symbol names.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Ok, now that we get pointers-to-arrays right, stop...
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Make 'degenerate()' handle bad types gracefully
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Make sure we degenerate arrays and functions when doing
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Allow for more permissive pointer difference calculations.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Fix pointer add: use the correct bit_size for the thing
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Be more careful about evaluating a dereference
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Oops. When dereferencing something, we sure shouldn't
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Fix (and simplify) array and function degeneration...
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | More nasty tests from Al.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Do a proper job of generating the pointer type for...
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Clean up evaluate_member_dereference() to take advantage
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | "a->b" is just shorthand for "(*a).b".
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | More "noderef" validation examples
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | More examples from Al showing us being lazy on types.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Make "value is so big" warning print the constant.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Fix "address_of" type evaluation and clean up the code.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Add a type conversion validation test. This
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Add more "noderef" validation tests.
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Members don't just get the address space from the
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Make "create_pointer()" not drop the address space
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Fix type declaration parsing for multiple variables...
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Fix integer type conversion: types smaller than an...
|
commit | commitdiff | tree |
2005-04-08 |
Linus Torvalds | Fix test-linearize with symbols that have no code to...
|
commit | commitdiff | tree |