37075c5ace
Fix long-standing bug in name mangling for package imports
...
Reported by Mike Verdone.
2007-02-27 01:01:59 +00:00
f733a013b2
Update comments, remove commented out code.
...
Move assembler structure next to assembler code to make it easier to
move it to a separate file.
2006-10-29 18:30:10 +00:00
2c4fb8d601
Clean up a leftover from old listcomp generation code.
2006-10-29 08:47:08 +00:00
21997afb0c
Fix bug #1565514 , SystemError not raised on too many nested blocks.
...
It seems like this should be a different error than SystemError, but
I don't have any great ideas and SystemError was raised in 2.4 and earlier.
Will backport.
2006-10-28 21:19:07 +00:00
82271f13e7
Fix for SF bug 1569998: break permitted inside try.
...
The compiler was checking that there was something on the fblock
stack, but not that there was a loop on the stack. Fixed that and
added a test for the specific syntax error.
Bug fix candidate.
2006-10-04 02:24:52 +00:00
4f096d9487
Patch #1542451 : disallow continue anywhere under a finally
...
I'm undecided if this should be backported to 2.5 or 2.5.1.
Armin suggested to wait (I'm of the same opinion). Thomas W thinks
it's fine to go in 2.5.
2006-08-21 19:47:08 +00:00
87557cd72a
Add assert to make Klocwork happy ( #276 )
2006-08-21 18:01:30 +00:00
644dddcc3f
Move peephole optimizer to separate file.
2006-08-21 16:19:37 +00:00
84167d09cd
Even though _Py_Mangle() isn't truly public anyone can call it and
...
there was no verification that privateobj was a PyString. If it wasn't
a string, this could have allowed a NULL pointer to creep in below and crash.
I wonder if this should be PyString_CheckExact? Must identifiers be strings
or can they be subclasses?
Klocwork #275
2006-08-12 01:45:47 +00:00
0cbd805a10
Bug #1333982 : string/number constants were inappropriately stored
...
in the byte code and co_consts even if they were not used, ie
immediately popped off the stack.
2006-08-04 05:09:28 +00:00
4ffedadb10
Bug #1191458 : tracing over for loops now produces a line event
...
on each iteration. I'm not positive this is the best way to handle
this. I'm also not sure that there aren't other cases where
the lnotab is generated incorrectly. It would be great if people
that use pdb or tracing could test heavily.
Also:
* Remove dead/duplicated code that wasn't used/necessary
because we already handled the docstring prior to entering the loop.
* add some debugging code into the compiler (#if 0'd out).
2006-08-04 04:58:47 +00:00
c173b488dc
Add some asserts and update comments
2006-07-30 19:18:13 +00:00
f71847e645
If the for loop isn't entered, entryblock will be NULL. If passed
...
to stackdepth_walk it will be dereffed.
Not sure if I found with failmalloc or Klockwork #55 .
2006-07-23 07:51:58 +00:00
b59d08c2fb
Fix more memory allocation issues found with failmalloc.
2006-07-22 16:20:49 +00:00
d12bd012a6
Handle more memory allocation failures without crashing.
2006-07-21 07:59:47 +00:00
84be93b2db
Bug #1512814 , Fix incorrect lineno's when code within a function
...
had more than 255 blank lines. Byte codes need to go first, line #s second.
2006-07-16 01:50:38 +00:00
ed65755608
Bug #1512814 , Fix incorrect lineno's when code at module scope
...
started after line 256.
2006-07-10 00:04:44 +00:00
0e07b60a4e
Fix AST compiler bug #1501934 : incorrect LOAD/STORE_GLOBAL generation.
2006-07-09 16:16:34 +00:00
2585ad58e6
Fix indentation of case and a Py_ssize_t issue.
2006-06-12 02:09:34 +00:00
ddbaa660d3
Patch #1346214 : correctly optimize away "if 0"-style stmts
...
(thanks to Neal for review)
2006-06-04 21:56:52 +00:00
7784f12d74
Replace Py_BuildValue("OO") by PyTuple_Pack.
2006-05-26 20:04:44 +00:00
da5b701aee
Get rid of __context__, per the latest changes to PEP 343 and python-dev
...
discussion.
There are two places of documentation that still mention __context__:
Doc/lib/libstdtypes.tex -- I wasn't quite sure how to rewrite that without
spending a whole lot of time thinking about it; and whatsnew, which Andrew
usually likes to change himself.
2006-05-02 19:47:52 +00:00
0cc56e5c59
Introduce asdl_int_seq, to hold cmpop_ty.
2006-04-13 12:29:43 +00:00
869bacd465
revert - breaks build of Python/ast.c w/ gcc
2006-04-13 09:48:28 +00:00
b940671186
Use union to discriminate pointer types from enum/int types.
2006-04-13 09:37:01 +00:00
d691f1a35f
casting nastiness to make C++ compiler happy
2006-04-13 01:23:28 +00:00
2c33fc77fe
per Jeremy's email, remove the _WITH_CAST versions of macros. g++
...
still has errors from the casts of asdl_seq_GET to cmpop_ty, but
otherwise it's C++ clean.
2006-04-12 00:43:09 +00:00
7b782b61c5
more low-hanging fruit to make code compile under a C++ compiler. Not
...
entirely happy with the two new VISIT macros in compile.c, but I
couldn't see a better approach.
2006-04-11 12:01:56 +00:00
14bc4e4d89
Use PyObject_* allocator since FutureFeatures is small
2006-04-10 06:57:06 +00:00
b183a25c29
Fix some warnings on HP-UX when using cc/aCC
2006-04-10 01:03:32 +00:00
ed40ea1159
Generate line number table entries for except handlers.
...
Re-enable all the tests in test_trace.py except one. Still not sure that these tests test what they used to test, but they pass. One failing test seems to be caused by undocumented line number table behavior in Python 2.4.
2006-04-04 14:26:39 +00:00
cbce280d4f
Don't abbreviate ABS, use long name ABSOLUTE.
2006-04-03 06:26:32 +00:00
12603c41da
Expand comments on line numbers and blocks.
...
Reorder compiler_set_lineno() call for consistency.
2006-04-01 16:18:02 +00:00
5c170fd4a9
Fix some missing checks after PyTuple_New, PyList_New, PyDict_New
2006-03-17 19:03:25 +00:00
eadee9a744
Fix SF bug #1448804 and ad a test to ensure that all subscript operations continue to be handled correctly
2006-03-13 12:31:58 +00:00
f669436189
Um, I thought I'd already checked this in.
...
Anyway, this is the changes to the with-statement
so that __exit__ must return a true value in order
for a pending exception to be ignored.
The PEP (343) is already updated.
2006-03-10 02:28:35 +00:00
10be2ea85d
SF bug 1442442: LIST_APPEND optimization got lost in the AST merge.
...
Add it back.
2006-03-03 20:29:11 +00:00
d9cf85f421
Fix refleak if from __future__ import was not first
2006-03-02 08:08:42 +00:00
3a5468efb0
Update known issues to reflect reality
2006-03-02 04:06:10 +00:00
49c5da1d88
Patch #1440601 : Add col_offset attribute to AST nodes.
2006-03-01 22:49:05 +00:00
e9357b21c0
Tabify and reflow some long lines.
...
Much of the peephole optimizer is now indented badly, but it's about
to be revised anyway.
2006-03-01 15:47:05 +00:00
5e9f1fa706
Generally inehrit codeflags that are in PyCF_MASK, instead of writing it out
...
in multiple places. This makes compile()/eval()/etc also inherit the
absolute-import codeflag, like division and with-statement already were.
2006-02-28 20:02:27 +00:00
34aa7ba114
from __future__ import with_statement addon for 'with', mostly written by
...
Neal.
2006-02-28 19:02:24 +00:00
f7f438ba3b
SF patch #1438387 , PEP 328: relative and absolute imports.
...
- IMPORT_NAME takes an extra argument from the stack: the relativeness of
the import. Only passed to __import__ when it's not -1.
- __import__() takes an optional 5th argument for the same thing; it
__defaults to -1 (old semantics: try relative, then absolute)
- 'from . import name' imports name (be it module or regular attribute)
from the current module's *package*. Likewise, 'from .module import name'
will import name from a sibling to the current module.
- Importing from outside a package is not allowed; 'from . import sys' in a
toplevel module will not work, nor will 'from .. import sys' in a
(single-level) package.
- 'from __future__ import absolute_import' will turn on the new semantics
for import and from-import: imports will be absolute, except for
from-import with dots.
Includes tests for regular imports and importhooks, parser changes and a
NEWS item, but no compiler-package changes or documentation changes.
2006-02-28 16:09:29 +00:00
1175c43a12
Clarify C-style exception handling with proper label name.
2006-02-27 22:49:54 +00:00
bfe51ea5c8
Fix assertions.
2006-02-27 22:48:55 +00:00
c2e20744b2
PEP 343 -- the with-statement.
...
This was started by Mike Bland and completed by Guido
(with help from Neal).
This still needs a __future__ statement added;
Thomas is working on Michael's patch for that aspect.
There's a small amount of code cleanup and refactoring
in ast.c, compile.c and ceval.c (I fixed the lltrace
behavior when EXT_POP is used -- however I had to make
lltrace a static global).
2006-02-27 22:32:47 +00:00
dca3b9c797
PEP 308 implementation, including minor refdocs and some testcases. It
...
breaks the parser module, because it adds the if/else construct as well as
two new grammar rules for backward compatibility. If no one else fixes
parsermodule, I guess I'll go ahead and fix it later this week.
The TeX code was checked with texcheck.py, but not rendered. There is
actually a slight incompatibility:
>>> (x for x in lambda:0)
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
TypeError: iteration over non-sequence
changes into
>>> (x for x in lambda: 0)
File "<stdin>", line 1
(x for x in lambda: 0)
^
SyntaxError: invalid syntax
Since there's no way the former version can be useful, it's probably a
bugfix ;)
2006-02-27 00:24:13 +00:00
18e165558b
Merge ssize_t branch.
2006-02-15 17:27:45 +00:00
08b401f67a
Fix icc warnings: single bit fields should be unsigned, shadowing local variables
2006-01-07 21:24:09 +00:00
94962615b7
Adjust usage of compiler_use_new_block to its return type.
2006-01-02 21:15:05 +00:00
93d69a7948
fixed compilation with an ordinary C89 compiler
2005-12-18 15:44:21 +00:00
51abbc7b4a
Fix Armin's bug 1333982. He found it, he didn't created it :-)
...
This code generated a C assertion:
assert 1, ([s for s in x] +
[s for s in x])
pass
assert was completely broken, it needed to use the proper block.
compiler_use_block() is now no longer used, so remove it.
2005-12-18 07:06:23 +00:00
4e6bf49a5e
Handle more error conditions with SystemError
2005-12-18 05:32:41 +00:00
87b801cc2d
Set MemoryError when alloc fails
2005-12-18 04:42:47 +00:00
adb69fcdff
Merge from ast-arena. This reduces the code in Python/ast.c by ~300 lines,
...
simplifies a lot of error handling code, and fixes many memory leaks.
2005-12-17 20:54:49 +00:00
28b32ac6bc
Simplify logic for handling import *
2005-12-06 07:41:30 +00:00
3715c3e576
Fix a few more ref leaks. Backport candidate
2005-11-24 22:09:18 +00:00
7bcabc60a3
Fix a few more memory leaks
...
Document more info about the benefits of configuring without
pymalloc when running valgrind
2005-11-20 23:58:38 +00:00
4737b2348b
Last batch of ref leaks in new AST code.
...
Also converted a bunch of assert(0) to SystemError's.
There are still printfs, etc that need to be cleaned up.
2005-11-19 23:58:29 +00:00
944d3eb154
Correctly handle identifiers for anonymous scopes and align genexpr name with symtable.c
2005-11-16 12:46:55 +00:00
b6fc9df8fc
Fix a lot of memory and ref leaks in error paths.
...
(Call symtable_exit_block or compiler_exit_scope as appropriate)
Use PyMem_Free on c_future since it was allocated with PyMem_Malloc
2005-11-13 18:50:34 +00:00
2744c6cc35
make internal method static
2005-11-13 01:08:38 +00:00
c396d9edd6
Ensure that compiler_exit_scope() is called as necessary to free memory
...
allocated by compiler_enter_scope(). Change return type for
compiler_exit_scope() to be void.
2005-10-25 06:30:14 +00:00
f1d50684c6
Fix problem handling EXTENDED_ARGs from SF bug # 1333982
2005-10-23 23:00:41 +00:00
7d37f2ff40
cleanup a bit and reuse instrsize (instruction size). working towards fixing problems with EXTENDED_ARG
2005-10-23 22:40:47 +00:00
dad06a159e
Remove unnecessary local variable.
2005-10-23 18:52:36 +00:00
8b528b28f1
Fix private name mangling. The symtable also must do mangles so that
...
the scope of names can be correctly determined.
2005-10-23 18:37:42 +00:00
3a44aaa30f
Use PyTuple_Pack instead of Py_BuildValue.
2005-10-23 17:21:54 +00:00
d403c45386
Fix arigo's funky LOAD_NAME bug: implicit globals inside classes have
...
historically been looked up using LOAD_NAME, not LOAD_GLOBAL.
looked up by LOAD_NAME, not
2005-10-23 04:24:49 +00:00
ac699efad8
Don't stop generating code for import statements after the first "import as"
...
part. Fixes one bug from #1333982 .
2005-10-23 03:45:42 +00:00
ccd19218bc
Use <lamba> as the function name for lambdas (matches old compiler).
2005-10-21 18:09:19 +00:00
3144130217
ANSI-C-ify the placement of local var declarations.
2005-10-21 12:57:31 +00:00
3e0055f8c6
Merge ast-branch to head
...
This change implements a new bytecode compiler, based on a
transformation of the parse tree to an abstract syntax defined in
Parser/Python.asdl.
The compiler implementation is not complete, but it is in stable
enough shape to run the entire test suite excepting two disabled
tests.
2005-10-20 19:59:25 +00:00
ea9dcdc062
com_yield_expr(): Squash new compiler wng about unreferenced local.
2005-08-03 18:33:05 +00:00
0d6615fd29
PEP 342 implementation. Per Guido's comments, the generator throw()
...
method still needs to support string exceptions, and allow None for the
third argument. Documentation updates are needed, too.
2005-08-02 00:46:46 +00:00
c9371d4a1b
Fix signedness of various char variables to stop causing a warning under gcc 4.
2005-06-25 08:23:41 +00:00
409d8f2ebd
Allow classes to be defined with empty parentheses. This means that
...
``class C(): pass`` is no longer a syntax error.
2005-03-05 06:47:57 +00:00
5dc8ced4a8
Silence a gcc warning about putting in parentheses around && expressions mixed
...
with || expressions. Also clarifies intend of 'if' conditional.
2005-03-03 07:01:48 +00:00
e63a078635
Preserve sign of -0.0 when result is run through marshal.
2005-02-23 13:37:55 +00:00
07359a7fed
Document how the pattern recognizer keeps all of its references in bounds.
...
Add a test in case the underlying assumptions ever change (i.e. the
compiler starts generating code blocks that are not punctuated by
RETURN_VALUE).
2005-02-21 20:03:14 +00:00
80121491e0
Teach the peepholer to fold unary operations on constants.
...
Afterwards, -0.5 loads in a single step and no longer requires a runtime
UNARY_NEGATIVE operation.
2005-02-20 12:41:32 +00:00
b615bf0681
Remove the set conversion which didn't work with: [] in (0,)
2005-02-10 01:42:32 +00:00
5e547969f8
Have set conversion replace existing constant if not used elsewhere.
2005-02-09 21:24:51 +00:00
7fcb7869ba
Adopt Skip's idea to optimize lists of constants in the context
...
of a "in" or "not in" test.
2005-02-07 19:32:38 +00:00
a164574937
Transform "x in (1,2,3)" to "x in frozenset([1,2,3])".
...
Inspired by Skip's idea to recognize the throw-away nature of sequences
in this context and to transform their type to one with better performance.
2005-02-06 22:05:42 +00:00
9feb267caf
Do not fold a constant if a large sequence will result.
...
Saves space in the presence of code like: (None,)*10000
2005-01-26 12:50:05 +00:00
664b43b3f4
Re-running python with/without the -Qnew flag uses incorrectly optimized
...
bytecodes from the previously saved .pyc files. Fixed by disabling the static
optimization of BINARY_DIVIDE between two constants.
2005-01-07 18:10:51 +00:00
c34f8673a1
Teach the peephole optimizer to fold simple constant expressions.
2005-01-02 06:17:33 +00:00
16b047904c
SF patch 1025636: Check for NULL returns in compile.c:com_import_stmt
...
There is no test for this change, because there is no way to provoke memory errors on demand. Test suite passes, though.
2004-11-07 14:04:00 +00:00
5dec096e6a
Maintain peepholer's cumlc invariant by updating the running total
...
everytime a LOAD_CONSTANT is encountered, created, or overwritten.
Added two tests to cover cases affected by the patch.
2004-11-02 04:20:10 +00:00
099ecfbec9
Simplify and future proof NOP counting in the peepholer.
...
No longer assumes that the input is NOP free.
2004-11-01 15:19:11 +00:00
d7bcf4deb1
Fixed a comment and added another one.
2004-10-30 21:08:59 +00:00
effb3931ea
Adopt some peepholer suggestions from Armin Rigo:
...
* Use simpler, faster two pass algorithm for markblocks().
* Free the blocks variable if not NULL and exiting without change.
* Verify that the rest of the compiler has not set an exception.
* Make the test for tuple of constants less restrictive.
* Embellish the comment for chained conditional jumps.
2004-10-30 08:55:08 +00:00
23109ef11e
SF bug #1053819 : Segfault in tuple_of_constants
...
Peepholer could be fooled into misidentifying a tuple_of_constants.
Added code to count consecutive occurrences of LOAD_CONST.
Use the count to weed out the misidentified cases.
Added a unittest.
2004-10-26 08:59:14 +00:00
9047c8f73d
SF bug #1048870 : call arg of lambda not updating
2004-10-24 00:10:06 +00:00
fec0c466ad
Improve error message for augmented assignments to genexps or listcomps.
...
Rather than introduce new logic, took the approach of making the message
itself more general.
2004-09-29 23:54:08 +00:00
8ffc1410e2
Fix two erroneous error messages.
2004-09-29 21:47:10 +00:00
06cc973d06
Replaced a test with an assertion.
...
(Suggested by Michael Hudson.)
2004-09-28 17:22:12 +00:00
2c31a058eb
SF patch #1031667 : Fold tuples of constants into a single constant
...
Example:
>>> import dis
>>> dis.dis(compile('1,2,3', '', 'eval'))
0 0 LOAD_CONST 3 ((1, 2, 3))
3 RETURN_VALUE
2004-09-22 18:44:21 +00:00
Jeremy Hylton
Neal Norwitz
Georg Brandl
Neil Schemenauer
Guido van Rossum
Martin v. Löwis
Skip Montanaro
Anthony Baxter
Nick Coghlan
Thomas Wouters
Fredrik Lundh
Armin Rigo
Tim Peters
Phillip J. Eby
Brett Cannon
Raymond Hettinger