Assertion failures at start

Assertion failures at start

[Stefan Monnier]

I get an assertion failure right at the start.  After commenting out
2 assertions (see patch at the end), the programs starts up and runs
fine.  Are these assertions out-of-date or something?


        Stefan


(gdb) r -Q
Starting program: /home/monnier/src/emacs/cvs/trunk/src/emacs -Q
[Thread debugging using libthread_db enabled]
[New Thread 0xb73d6720 (LWP 2522)]
[Switching to Thread 0xb73d6720 (LWP 2522)]

Breakpoint 1, abort () at emacs.c:427
(gdb) up
#1  0x081c4750 in realize_default_face (f=0x8869918) at xfaces.c:5603
(gdb) bt
#0  abort () at emacs.c:427
#1  0x081c4750 in realize_default_face (f=0x8869918) at xfaces.c:5603
#2  0x081c3999 in realize_basic_faces (f=0x8869918) at xfaces.c:5475
#3  0x081b5e8b in recompute_basic_faces (f=0x8869918) at xfaces.c:921
#4  0x0808cec1 in init_iterator (it=0xbffd57d8, w=0x886a028, charpos=1, 
    bytepos=1, row=0x0, base_face_id=DEFAULT_FACE_ID) at xdisp.c:2561
#5  0x080a3ce2 in resize_mini_window (w=0x886a028, exact_p=1) at xdisp.c:8537
#6  0x0806cd3b in do_switch_frame (frame=
        {i = 2295161968, s = {val = 147678320, type = Lisp_Vectorlike}, u = {val = 147678320, type = Lisp_Vectorlike}}, track=1, for_deletion=0)
    at frame.c:866
#7  0x0806daa2 in Fselect_frame (frame=
        {i = 2295161968, s = {val = 147678320, type = Lisp_Vectorlike}, u = {val = 147678320, type = Lisp_Vectorlike}}) at frame.c:908
#8  0x080fea81 in run_window_configuration_change_hook (f=0x8cd6470)
    at window.c:3319
#9  0x08065c9b in change_frame_size_1 (f=0x8cd6470, newheight=40, 
    newwidth=80, pretend=1, delay=0, safe=0) at dispnew.c:6399
#10 0x08065572 in change_frame_size (f=0x8cd6470, newheight=40, newwidth=80, 
    pretend=1, delay=0, safe=0) at dispnew.c:6286
#11 0x081e77ae in Fx_create_frame (parms=
        {i = 2832741392, s = {val = 148386832, type = Lisp_Cons}, u = {val = 148386832, type = Lisp_Cons}}) at xfns.c:3419
#12 0x0833d451 in Ffuncall (nargs=2, args=0xbffd5f14) at eval.c:3042
#13 0x083ded66 in Fbyte_code (bytestr=
        {i = 1751239992, s = {val = 140627256, type = Lisp_String}, u = {val = 140627256, type = Lisp_String}}, vector=
        {i = 2288111000, s = {val = 140627352, type = Lisp_Vectorlike}, u = {val = 140627352, type = Lisp_Vectorlike}}, maxdepth=
        {i = 4, s = {val = 4, type = Lisp_Int}, u = {val = 4, type = Lisp_Int}}) at bytecode.c:678
#14 0x0833e4b0 in funcall_lambda (fun=
        {i = 2288110860, s = {val = 140627212, type = Lisp_Vectorlike}, u = {val = 140627212, type = Lisp_Vectorlike}}, nargs=1, arg_vector=0xbffd6234)
    at eval.c:3229
#15 0x0833dad0 in Ffuncall (nargs=2, args=0xbffd6230) at eval.c:3088
#16 0x083ded66 in Fbyte_code (bytestr=
        {i = 1751557624, s = {val = 140944888, type = Lisp_String}, u = {val = 140944888, type = Lisp_String}}, vector=
        {i = 2288428676, s = {val = 140945028, type = Lisp_Vectorlike}, u = {val = 140945028, type = Lisp_Vectorlike}}, maxdepth=
        {i = 6, s = {val = 6, type = Lisp_Int}, u = {val = 6, type = Lisp_Int}}) at bytecode.c:678
#17 0x0833e4b0 in funcall_lambda (fun=
        {i = 2288428488, s = {val = 140944840, type = Lisp_Vectorlike}, u = {val = 140944840, type = Lisp_Vectorlike}}, nargs=1, arg_vector=0xbffd6564)
    at eval.c:3229
#18 0x0833dad0 in Ffuncall (nargs=2, args=0xbffd6560) at eval.c:3088
#19 0x083ded66 in Fbyte_code (bytestr=
        {i = 1751553788, s = {val = 140941052, type = Lisp_String}, u = {val = 140941052, type = Lisp_String}}, vector=
        {i = 2288424820, s = {val = 140941172, type = Lisp_Vectorlike}, u = {val = 140941172, type = Lisp_Vectorlike}}, maxdepth=
        {i = 6, s = {val = 6, type = Lisp_Int}, u = {val = 6, type = Lisp_Int}}) at bytecode.c:678
#20 0x0833e4b0 in funcall_lambda (fun=
        {i = 2288424672, s = {val = 140941024, type = Lisp_Vectorlike}, u = {val = 140941024, type = Lisp_Vectorlike}}, nargs=0, arg_vector=0xbffd6894)
    at eval.c:3229
#21 0x0833dad0 in Ffuncall (nargs=1, args=0xbffd6890) at eval.c:3088
#22 0x083ded66 in Fbyte_code (bytestr=
        {i = 1751280000, s = {val = 140667264, type = Lisp_String}, u = {val = 140667264, type = Lisp_String}}, vector=
        {i = 2288151804, s = {val = 140668156, type = Lisp_Vectorlike}, u = {val = 140668156, type = Lisp_Vectorlike}}, maxdepth=
        {i = 7, s = {val = 7, type = Lisp_Int}, u = {val = 7, type = Lisp_Int}}) at bytecode.c:678
#23 0x0833e4b0 in funcall_lambda (fun=
        {i = 2288150888, s = {val = 140667240, type = Lisp_Vectorlike}, u = {val = 140667240, type = Lisp_Vectorlike}}, nargs=0, arg_vector=0xbffd6bc4)
    at eval.c:3229
#24 0x0833dad0 in Ffuncall (nargs=1, args=0xbffd6bc0) at eval.c:3088
#25 0x083ded66 in Fbyte_code (bytestr=
        {i = 1751275904, s = {val = 140663168, type = Lisp_String}, u = {val = 140663168, type = Lisp_String}}, vector=
        {i = 2288147028, s = {val = 140663380, type = Lisp_Vectorlike}, u = {val = 140663380, type = Lisp_Vectorlike}}, maxdepth=
        {i = 6, s = {val = 6, type = Lisp_Int}, u = {val = 6, type = Lisp_Int}}) at bytecode.c:678
#26 0x0833e4b0 in funcall_lambda (fun=
        {i = 2288146792, s = {val = 140663144, type = Lisp_Vectorlike}, u = {val = 140663144, type = Lisp_Vectorlike}}, nargs=0, arg_vector=0xbffd6e30)
    at eval.c:3229
#27 0x0833ddab in apply_lambda (fun=
        {i = 2288146792, s = {val = 140663144, type = Lisp_Vectorlike}, u = {val = 140663144, type = Lisp_Vectorlike}}, args=
        {i = 679779608, s = {val = 142908696, type = Lisp_Symbol}, u = {val = 142908696, type = Lisp_Symbol}}, eval_flag=1) at eval.c:3153
#28 0x0833b78a in Feval (form=
        {i = 2827807376, s = {val = 143452816, type = Lisp_Cons}, u = {val = 143452816, type = Lisp_Cons}}) at eval.c:2415
#29 0x0822d460 in top_level_2 () at keyboard.c:1376
#30 0x083388b7 in internal_condition_case (bfun=0x822d445 <top_level_2>, 
    handlers=
        {i = 679822736, s = {val = 142951824, type = Lisp_Symbol}, u = {val = 142951824, type = Lisp_Symbol}}, hfun=0x822ce9b <cmd_error>) at eval.c:1511
#31 0x0822d4a5 in top_level_1 () at keyboard.c:1384
#32 0x08338142 in internal_catch (tag=
        {i = 679818720, s = {val = 142947808, type = Lisp_Symbol}, u = {val = 142947808, type = Lisp_Symbol}}, func=0x822d46c <top_level_1>, arg=
        {i = 679779608, s = {val = 142908696, type = Lisp_Symbol}, u = {val = 142908696, type = Lisp_Symbol}}) at eval.c:1247
#33 0x0822d39b in command_loop () at keyboard.c:1339
#34 0x0822c4fd in recursive_edit_1 () at keyboard.c:955
#35 0x0822ca72 in Frecursive_edit () at keyboard.c:1017
#36 0x0822a5b7 in main (argc=2, argv=0xbffd7694) at emacs.c:1772

Lisp Backtrace:
"x-create-frame" (0xbffd5f18)
"x-create-frame-with-faces" (0xbffd6234)
"make-frame" (0xbffd6564)
"frame-initialize" (0xbffd6894)
"command-line" (0xbffd6bc4)
"normal-top-level" (0xbffd6e30)
(gdb) 


--- xfaces.c.~1.396.~	2008-06-06 21:10:59.000000000 -0400
+++ xfaces.c	2008-06-09 22:50:03.000000000 -0400
@@ -5600,7 +5600,7 @@
     LFACE_STIPPLE (lface) = Qnil;
 
   /* Realize the face; it must be fully-specified now.  */
-  xassert (lface_fully_specified_p (XVECTOR (lface)->contents));
+  /* xassert (lface_fully_specified_p (XVECTOR (lface)->contents)); */
   check_lface (lface);
   bcopy (XVECTOR (lface)->contents, attrs, sizeof attrs);
   face = realize_face (c, attrs, DEFAULT_FACE_ID);
@@ -5645,7 +5645,7 @@
   /* The default face must exist and be fully specified.  */
   get_lface_attributes_no_remap (f, Qdefault, attrs, 1);
   check_lface_attrs (attrs);
-  xassert (lface_fully_specified_p (attrs));
+  /* xassert (lface_fully_specified_p (attrs)); */
 
   /* If SYMBOL isn't know as a face, create it.  */
   if (NILP (lface))

Re: Assertion failures at start

[Kenichi Handa]

In article <jwv7icyvwcr.fsf-monnier+emacs@gnu.org>, Stefan Monnier <monnier@iro.umontreal.ca> writes:

> I get an assertion failure right at the start.  After commenting out
> 2 assertions (see patch at the end), the programs starts up and runs
> fine.  Are these assertions out-of-date or something?

I don't think so.  Perhaps, there's a bug somewhere else.
Could you find which attribute is not specified?

---
Kenichi Handa
handa@ni.aist.go.jp

Re: Assertion failures at start

[Stefan Monnier]

>> I get an assertion failure right at the start.  After commenting out
>> 2 assertions (see patch at the end), the programs starts up and runs
>> fine.  Are these assertions out-of-date or something?

> I don't think so.  Perhaps, there's a bug somewhere else.
> Could you find which attribute is not specified?

See the session below if I re-enable the assertion in
realize_default_face.


        Stefan


(gdb) r -Q
Starting program: /home/monnier/src/emacs/cvs/trunk/src/emacs -Q
[Thread debugging using libthread_db enabled]
[New Thread 0xb73a2720 (LWP 20245)]
[Switching to Thread 0xb73a2720 (LWP 20245)]

Breakpoint 1, abort () at emacs.c:427
(gdb) up
#1  0x081c502d in realize_default_face (f=0x886c918) at xfaces.c:5643
(gdb) p lface
$1 = {
  i = 2295805648, 
  s = {
    val = 148322000, 
    type = Lisp_Vectorlike
  }, 
  u = {
    val = 148322000, 
    type = Lisp_Vectorlike
  }
}
(gdb) pr
[face "default" "default" normal 1 normal normal nil nil "unspecified-fg" "unspecified-bg" nil nil nil nil unspecified unspecified unspecified]
(gdb) bt
#0  abort () at emacs.c:427
#1  0x081c502d in realize_default_face (f=0x886c918) at xfaces.c:5643
#2  0x081c41f4 in realize_basic_faces (f=0x886c918) at xfaces.c:5514
#3  0x081b6143 in recompute_basic_faces (f=0x886c918) at xfaces.c:922
#4  0x0808d091 in init_iterator (it=0xbfb9eba8, w=0x886d028, charpos=1, 
    bytepos=1, row=0x0, base_face_id=DEFAULT_FACE_ID) at xdisp.c:2567
#5  0x080a3eb2 in resize_mini_window (w=0x886d028, exact_p=1) at xdisp.c:8543
#6  0x0806cf0b in do_switch_frame (frame=
        {i = 2294721144, s = {val = 147237496, type = Lisp_Vectorlike}, u = {val = 147237496, type = Lisp_Vectorlike}}, track=1, for_deletion=0)
    at frame.c:866
#7  0x0806dc72 in Fselect_frame (frame=
        {i = 2294721144, s = {val = 147237496, type = Lisp_Vectorlike}, u = {val = 147237496, type = Lisp_Vectorlike}}) at frame.c:908
#8  0x080fec71 in run_window_configuration_change_hook (f=0x8c6aa78)
    at window.c:3323
#9  0x08065e6b in change_frame_size_1 (f=0x8c6aa78, newheight=40, 
    newwidth=80, pretend=1, delay=0, safe=0) at dispnew.c:6399
#10 0x08065742 in change_frame_size (f=0x8c6aa78, newheight=40, newwidth=80, 
    pretend=1, delay=0, safe=0) at dispnew.c:6286
#11 0x081e80be in Fx_create_frame (parms=
        {i = 2832754592, s = {val = 148400032, type = Lisp_Cons}, u = {val = 148400032, type = Lisp_Cons}}) at xfns.c:3419
#12 0x0833e4a5 in Ffuncall (nargs=2, args=0xbfb9f2e4) at eval.c:3042
#13 0x083e0676 in Fbyte_code (bytestr=
        {i = 1751253088, s = {val = 140640352, type = Lisp_String}, u = {val = 140640352, type = Lisp_String}}, vector=
        {i = 2288124096, s = {val = 140640448, type = Lisp_Vectorlike}, u = {val = 140640448, type = Lisp_Vectorlike}}, maxdepth=
        {i = 4, s = {val = 4, type = Lisp_Int}, u = {val = 4, type = Lisp_Int}}) at bytecode.c:678
#14 0x0833f504 in funcall_lambda (fun=
        {i = 2288123956, s = {val = 140640308, type = Lisp_Vectorlike}, u = {val = 140640308, type = Lisp_Vectorlike}}, nargs=1, arg_vector=0xbfb9f604)
    at eval.c:3229
#15 0x0833eb24 in Ffuncall (nargs=2, args=0xbfb9f600) at eval.c:3088
#16 0x083e0676 in Fbyte_code (bytestr=
        {i = 1751570676, s = {val = 140957940, type = Lisp_String}, u = {val = 140957940, type = Lisp_String}}, vector=
        {i = 2288441728, s = {val = 140958080, type = Lisp_Vectorlike}, u = {val = 140958080, type = Lisp_Vectorlike}}, maxdepth=
        {i = 6, s = {val = 6, type = Lisp_Int}, u = {val = 6, type = Lisp_Int}}) at bytecode.c:678
#17 0x0833f504 in funcall_lambda (fun=
        {i = 2288441540, s = {val = 140957892, type = Lisp_Vectorlike}, u = {val = 140957892, type = Lisp_Vectorlike}}, nargs=1, arg_vector=0xbfb9f934)
    at eval.c:3229
#18 0x0833eb24 in Ffuncall (nargs=2, args=0xbfb9f930) at eval.c:3088
#19 0x083e0676 in Fbyte_code (bytestr=
        {i = 1751566840, s = {val = 140954104, type = Lisp_String}, u = {val = 140954104, type = Lisp_String}}, vector=
        {i = 2288437872, s = {val = 140954224, type = Lisp_Vectorlike}, u = {val = 140954224, type = Lisp_Vectorlike}}, maxdepth=
        {i = 6, s = {val = 6, type = Lisp_Int}, u = {val = 6, type = Lisp_Int}}) at bytecode.c:678
#20 0x0833f504 in funcall_lambda (fun=
        {i = 2288437724, s = {val = 140954076, type = Lisp_Vectorlike}, u = {val = 140954076, type = Lisp_Vectorlike}}, nargs=0, arg_vector=0xbfb9fc64)
    at eval.c:3229
#21 0x0833eb24 in Ffuncall (nargs=1, args=0xbfb9fc60) at eval.c:3088
#22 0x083e0676 in Fbyte_code (bytestr=
        {i = 1751293716, s = {val = 140680980, type = Lisp_String}, u = {val = 140680980, type = Lisp_String}}, vector=
        {i = 2288165520, s = {val = 140681872, type = Lisp_Vectorlike}, u = {val = 140681872, type = Lisp_Vectorlike}}, maxdepth=
        {i = 7, s = {val = 7, type = Lisp_Int}, u = {val = 7, type = Lisp_Int}}) at bytecode.c:678
#23 0x0833f504 in funcall_lambda (fun=
        {i = 2288164604, s = {val = 140680956, type = Lisp_Vectorlike}, u = {val = 140680956, type = Lisp_Vectorlike}}, nargs=0, arg_vector=0xbfb9ff94)
    at eval.c:3229
#24 0x0833eb24 in Ffuncall (nargs=1, args=0xbfb9ff90) at eval.c:3088
#25 0x083e0676 in Fbyte_code (bytestr=
        {i = 1751289604, s = {val = 140676868, type = Lisp_String}, u = {val = 140676868, type = Lisp_String}}, vector=
        {i = 2288160736, s = {val = 140677088, type = Lisp_Vectorlike}, u = {val = 140677088, type = Lisp_Vectorlike}}, maxdepth=
        {i = 6, s = {val = 6, type = Lisp_Int}, u = {val = 6, type = Lisp_Int}}) at bytecode.c:678
#26 0x0833f504 in funcall_lambda (fun=
        {i = 2288160492, s = {val = 140676844, type = Lisp_Vectorlike}, u = {val = 140676844, type = Lisp_Vectorlike}}, nargs=0, arg_vector=0xbfba0200)
    at eval.c:3229
#27 0x0833edff in apply_lambda (fun=
        {i = 2288160492, s = {val = 140676844, type = Lisp_Vectorlike}, u = {val = 140676844, type = Lisp_Vectorlike}}, args=
        {i = 679791896, s = {val = 142920984, type = Lisp_Symbol}, u = {val = 142920984, type = Lisp_Symbol}}, eval_flag=1) at eval.c:3153
#28 0x0833c7de in Feval (form=
        {i = 2827812424, s = {val = 143457864, type = Lisp_Cons}, u = {val = 143457864, type = Lisp_Cons}}) at eval.c:2415
#29 0x0822e278 in top_level_2 () at keyboard.c:1376
#30 0x0833990b in internal_condition_case (bfun=0x822e25d <top_level_2>, 
    handlers=
        {i = 679835024, s = {val = 142964112, type = Lisp_Symbol}, u = {val = 142964112, type = Lisp_Symbol}}, hfun=0x822dcb3 <cmd_error>) at eval.c:1511
#31 0x0822e2bd in top_level_1 () at keyboard.c:1384
#32 0x08339196 in internal_catch (tag=
        {i = 679831008, s = {val = 142960096, type = Lisp_Symbol}, u = {val = 142960096, type = Lisp_Symbol}}, func=0x822e284 <top_level_1>, arg=
        {i = 679791896, s = {val = 142920984, type = Lisp_Symbol}, u = {val = 142920984, type = Lisp_Symbol}}) at eval.c:1247
#33 0x0822e1b3 in command_loop () at keyboard.c:1339
#34 0x0822d315 in recursive_edit_1 () at keyboard.c:955
#35 0x0822d88a in Frecursive_edit () at keyboard.c:1017
#36 0x0822b3cf in main (argc=2, argv=0xbfba0a64) at emacs.c:1772

Lisp Backtrace:
"x-create-frame" (0xbfb9f2e8)
"x-create-frame-with-faces" (0xbfb9f604)
"make-frame" (0xbfb9f934)
"frame-initialize" (0xbfb9fc64)
"command-line" (0xbfb9ff94)
"normal-top-level" (0xbfba0200)
(gdb) 

Re: Assertion failures at start

[Kenichi Handa]

In article <jwv7icrbyjh.fsf-monnier+emacs@gnu.org>, Stefan Monnier <monnier@iro.umontreal.ca> writes:

>>> I get an assertion failure right at the start.  After commenting out
>>> 2 assertions (see patch at the end), the programs starts up and runs
>>> fine.  Are these assertions out-of-date or something?

> > I don't think so.  Perhaps, there's a bug somewhere else.
> > Could you find which attribute is not specified?

> See the session below if I re-enable the assertion in
> realize_default_face.

I fixed this bug.

---
Kenichi Handa
handa@ni.aist.go.jp