Custom Query (424 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Results (31 - 33 of 424)

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
Ticket Resolution Summary Owner Reporter
#446 fixed incorrect assignment for type with discriminant Maxim Reznik vadim.godunko
Description

For type

   type Optional_Real (Present : Boolean := False) is record
      case Present is
         when False =>
            null;

         when True =>
            Value : Real;
      end case;
   end record;

generated _assign function assigns only 'value' component and ignores 'present' discriminant.

#448 fixed CONSTRAINT_ERROR at league.stream_element_vectors.element (LZMA filter) Maxim Reznik Pavel Zhukov
Description

## Packing design/filters for testing (attached) tar -cJvf /tmp/filters.tar.xz .objs/xz_cat /tmp/filters.tar.xz /tmp/test raised CONSTRAINT_ERROR : league-stream_element_vectors.adb:194 index check failed

(gdb) bt #0 <gnat_debug_raise_exception> (e=0x612540 <constraint_error>) at s-excdeb.adb:43 #1 0x00007ffff71a3975 in ada.exceptions.complete_occurrence (x=x@entry=0x614400) at a-except.adb:932 #2 0x00007ffff71a3980 in ada.exceptions.complete_and_propagate_occurrence (x=x@entry=0x614400) at a-except.adb:941 #3 0x00007ffff71a3d88 in ada.exceptions.raise_with_location_and_msg (e=0x612540 <constraint_error>, f=f@entry=(system.address) 0x7ffff7af0620, l=l@entry=194, c=c@entry=0,

m=m@entry=(system.address) 0x7ffff7326220) at a-except.adb:1167

#4 0x00007ffff71a3964 in <gnat_raise_constraint_error_msg> (file=file@entry=(system.address) 0x7ffff7af0620, line=line@entry=194, column=column@entry=0,

msg=msg@entry=(system.address) 0x7ffff7326220) at a-except.adb:898

#5 0x00007ffff71a3e6b in <gnat_rcheck_CE_Index_Check> (file=file@entry=(system.address) 0x7ffff7af0620, line=line@entry=194) at a-except.adb:1242 #6 0x00007ffff78c36a3 in league.stream_element_vectors.element (self=..., index=<optimized out>)

at /usr/src/debug/matreshka-0.7.0/source/league/league-stream_element_vectors.adb:194

#7 0x0000000000405022 in matreshka.filters.lzma.dictionaries.get (self=..., index=85722170)

at /home/pavel/projects/matreshka/matreshka/trunk/design/filters/matreshka-filters-lzma-dictionaries.adb:58

#8 0x00000000004051eb in matreshka.filters.lzma.dictionaries.repeat (self=..., index=85722170, length=3, output=...)

at /home/pavel/projects/matreshka/matreshka/trunk/design/filters/matreshka-filters-lzma-dictionaries.adb:118

#9 0x000000000040bb87 in matreshka.filters.lzma.xz_unpack.read_match (self=..., input=..., index=1060, output=...)

at /home/pavel/projects/matreshka/matreshka/trunk/design/filters/matreshka-filters-lzma-xz_unpack.adb:700

#10 0x000000000040a6b0 in matreshka.filters.lzma.xz_unpack.read_compressed_chunk_bytes (output=..., ok=true)

at /home/pavel/projects/matreshka/matreshka/trunk/design/filters/matreshka-filters-lzma-xz_unpack.adb:425

#11 0x000000000040ce22 in matreshka.filters.lzma.xz_unpack.read (self=..., input=..., output=...)

at /home/pavel/projects/matreshka/matreshka/trunk/design/filters/matreshka-filters-lzma-xz_unpack.adb:1033

#12 0x0000000000403ee7 in xz_cat () at /home/pavel/projects/matreshka/matreshka/trunk/design/filters/xz_cat.adb:24

(gdb) up #8 0x00000000004051eb in matreshka.filters.lzma.dictionaries.repeat (self=..., index=85722170, length=3, output=...)

at /home/pavel/projects/matreshka/matreshka/trunk/design/filters/matreshka-filters-lzma-dictionaries.adb:118

118 Data (J) := Self.Get (Index); (gdb) print index $6 = 85722170 (gdb) info args self = (data => (data => 0x6ec250), position => 5) index = 85722170 length = 3 output = (data => 0x680300)

#460 fixed Get_Last_Modified in Servlet API Maxim Reznik Maxim Reznik
Description

Servlet API says:

2.1.3 Conditional GET Support The HttpServlet interface defines the getLastModified method to support conditional GET operations.

So I propose to add into Servlet.HTTP_Servlets something like this:

   function Unknown_Date_Time return League.Calendars.Date_Time with Inline;
   
   not overriding function Get_Last_Modified
    (Self     : in out HTTP_Servlet;
     Request  : Servlet.HTTP_Requests.HTTP_Servlet_Request'Class)
      return League.Calendars.Date_Time;
   --  Returns the time the Http_Servlet_Request object was last modified.
   --  If the time is unknown, this method returns Unknown_Date_Time value.
   --  Servlets that support HTTP GET requests and can quickly determine their
   --  last modification time should override this method. This makes browser
   --  and proxy caches work more effectively, reducing the load on server and
   --  network resources.

Alternative is to return Optional_Date_Time or rewrite funcition as procedure with an additional Success : out Booleanparameter.

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
Note: See TracQuery for help on using queries.