Forcing Ada to use minimum spec size for enumerated types with gnat 4.4 -

-

i have enumerated type needs 4 bits when declare variable of type compiler assigns variable 8 bits.

below simplified version of code. 

subtype ab_range_index word range 0..3; type ab_buffer_type array(ab_range_index) of bit;  type buffer record    ...    var1        : some_buffer_type;    orig_ab_var : ab_buffer_type;     ... end record; buffer use record   ...   var1         @ 16 range 0..5;   orig_ab_var  @ 16 range 6..9;   ... end record; ... type ab_type (a,b); ab_type use (a => 0, b => 5); ab_type'size use 4; ... procedure proc(ab_buff : ab_buffer_type)  ab_var : ab_type;                      -- ab_var'size returns 8 in debugger. ab_var use @ ab_buff'address; begin    data_valid = ab_var'valid;          -- returns false since variable                                         -- contains bits    ...

this worked under previous gnat versions not under gnat 4.4.6. understand gnat in compliance ada spec.

is there way force compiler make ab_var in above example 4 bits? i've tried 'object_size needs multiple of 8 bits.

i don't know of modern computer hardware can allocate 4 bits variable. minimum 8-bit byte.

and no offense, i'm skeptical previous version of gnat have been able either.

now within record has associated rep spec or suitable convention pragma, individual field of type ab_type allocated 4 bits.

but not discrete variable.


Comments

Post a Comment

Popular posts from this blog

java - Jmockit String final length method mocking Issue -

-
using jmockit 1.2 jar, trying mock string's length method getting unexpected invocation exception: failed: test java.lang.illegalstateexception: missing invocation mocked type @ point; please make sure such invocations appear after declaration of suitable mock field or parameter @ stringdemo.testa$1.<init>(testa.java:17) @ stringdemo.testa.test(testa.java:13) i using testng: @test public void test() throws exception { new expectations() { @mocked("length") string astring; { astring.length(); result = 2; } }; system.out.println(a.showa("test")); } } actual class a: public class { public static int showa(string str){ int a= str.length(); return a; } } this wrong way of recording expected results. shouldn't mock , record string's length() method, record showa() instead. here solution @suppresswarnings("unused&qu
Read more

asp.net - Razor Page Hosted on IIS 6 Fails Every Morning -

-
i have simple page in intranet uses razor/asp fetch single record table , display it, plus few graphic, dashboard display. meaning, no user intervention other first time open ie internal url. the problem having every morning ie displays "page not found or network error" message. refresh page, , it's stuck , doesn't display anything. try different pc, open ie internal url , it's stuck... ...until following: login server hosting page run inetmgr go web sites, etc right click on page that's giving me problem , select browse at moment, error message: server error in '/' application. -------------------------------------------------------------------------------- type of page not served. description: type of page have requested not served because has been explicitly forbidden. extension '.cshtml' may incorrect. please review url below , make sure spelled correctly. requested url: /application/dashboard.cshtml ---------------
Read more

c++ - wxwidget compiling on windows command prompt -

-
can please guide me on method,as how compile wxwidget using windows command prompt or msys. [i can't seem find on wxwiki/wxwidget official book/anywhere else] i have compiled wxwidget instructions have provided (using msys). from searching on internet seems 1 can (maybe?) through use of makefile (is correct?) if yes: directory & how should link wx libraries in makefile if no: way besides makefile? i know can use ide's code::block , make life simpler prefer compile using command prompt/msys. thanks in advance.
Read more