| 2005-04-08 |
Alexander Viro | [PATCH] more fun with sparse
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | That last type optimization was wrong.
Cset exclude: torvalds@ppc970.osdl.org|ChangeSet|20040528192422|18153
|
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 |
| 2005-04-08 |
Linus Torvalds | Fix up modifier parsing, don't leave stale modifier
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Merge bk://kernel.bkbits.net/jgarzik/sparse.be
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Add another test-case from Al.
|
commit | commitdiff | tree |
| 2005-04-08 |
Jeff Garzik | Generalize linearize_symbol()
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | When evaluating a member dereference off a structure
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Add a few test-cases that Al Viro noted.
|
commit | commitdiff | tree |
| 2005-04-08 |
Dave Jones | Ignore alias attributes
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Allow top-level inline asms
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Accept "__attribute" in addition to "__attribute__".
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | When we miss the type information, warn about it instead...
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Initialize C type system after parsing the command...
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Now that BITS_IN_XXXX aren't defined contstants any...
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Add handling for "-m64" to tell us to use 64-bit mode.
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Use variables for target data structure information,
|
commit | commitdiff | tree |
| 2005-04-08 |
Christopher Li | [PATCH] Fix "return" target handling
|
commit | commitdiff | tree |
| 2005-04-08 |
Christopher Li | [PATCH] linearization bug fix and bitfield handling
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Make the builtin functions be more type-correct, to
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Oops. Fix the preprocessor handling of "..." arguments.
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Accept "void *" for array assignments too.
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Make type equality comparisons more generous.
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Revert ptr-to-array type demotion. It's wrong.
Cset exclude: torvalds@ppc970.osdl.org|ChangeSet|20040419183423|24692
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Fix up pointer-to-array type declarations.
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Merge evo:BK/sparse into ppc970.osdl.org:/home/torvalds...
|
commit | commitdiff | tree |
| 2005-04-08 |
Christopher Li | [PATCH] linearize conditional expressions
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Fix up typename parsing.
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Fix pointer addition
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Remove special cases in addressof/member dereferece...
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Make arrays degenerate into pointers properly.
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Top-level symbols are always addressable, since they are
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Mark increment/decrements as assignments.
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Fix up safe expression tests
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Introduce "safe" pointer expressions.
|
commit | commitdiff | tree |
| 2005-04-08 |
Christopher Li | [PATCH] More linearizion fun
|
commit | commitdiff | tree |
| 2005-04-08 |
Christopher Li | [PATCH] pack basic blocks
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Fix up pointer creation..
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Be more careful about type generation in dereferences.
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Simplify and fix up "addressof" evaluation.
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Add a note about bogus warnings we can get.
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Make the "noderef" attribute work right.
|
commit | commitdiff | tree |
| 2005-04-08 |
Christopher Li | [PATCH] make sparse recognise assembler naming (register...
|
commit | commitdiff | tree |
| 2005-04-08 |
Christopher Li | [PATCH] more op-codes
|
commit | commitdiff | tree |
| 2005-04-08 |
Christopher Li | [PATCH] condition branch simplification
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Fix linearization of unconditional iterator.
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Fix up some __attribute__() parsing.
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Fix up iterator reachability code for linearization.
|
commit | commitdiff | tree |
| 2005-04-08 |
Christopher Li | [PATCH] PATCH: remove dead while loop
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Clean up type expression syntax.
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Support type equality testing for real.
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Support C types as first-class citizens, allowing type
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Warn about users trying to use type names in expressions.
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Use the "look up multiple namespaces" facility
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Make it possible to look up multiple namespaces at...
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | When warning about function calls, don't assume that
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Fix token expansion array overflow.
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Linearize post-ops and casts.
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Linearize function calls. Kind-of.
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Remove now-obsolete temporary statement types.
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Fix another missing dependency.
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Linearize logical ops.
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Add new IL for expression linearization.
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Fix dependencies
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Add bb "parent" information (ie back-pointers).
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Make a difference between an anonymous label and a
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Add helper function to test for ptr list empty.
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Clean up linearization, and make the basic blocks be
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Clean up linearize conditional branch generation.
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Clean up "linearize()" calling convention even more.
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Clean up "linearize()" calling conventions.
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Add basic block "ownership", ie each basic block has a
|
commit | commitdiff | tree |
| 2005-04-08 |
Linus Torvalds | Fix the "none of the above" case for switch statements.
|
commit | commitdiff | tree |
