EnglishFrenchSpanish

Ad


OnWorks favicon

gnatelim - Online in the Cloud

Run gnatelim in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command gnatelim that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

PROGRAM:

NAME


gnatelim - eliminate dead code from Ada programs

SYNOPSIS


gnatelim [OPTION]... name

DESCRIPTION


When you are working with a program which shares some set of Ada packages with other
programs, it may happen, that your program uses only a part of subprogram defined in these
packages, whereas the code created for unused subprograms increases the size of the
executable your program.

gnatelim is a utility tracking unused subprograms in an Ada program. Its output consists
of a list of Eliminate pragmas marking all the subprograms that are declared, but never
called in a given program. Eliminate is a GNAT-specific pragma. By ecompiling your program
with these pragmas, you may decrease the size of its executable, because the compiler will
not create the code for unused subprograms.

gnatelim is an ASIS application developed on top of the ASIS implementation for GNAT. It
needs a set of tree files representing a program to analyze and the bind file for its main
subprogram to be created in the current directory. For the current version, it is a the
user's responsibility to maintain the consistency of the set of tree files processed by
gnatelim, if the user also changes the sources of the Ada program to be processed.

To produce a list of Eliminate pragmas, gnatelim has to do an extensive analysis and it
may take some time. For example, to process itself, gnatelim takes 4 minutes of CPU time
on a Pentium 200.

OPTIONS


-v verbose mode: gnatelim version information is printed (in the form of Ada comments)
in stdout; the names of the files being processed are printed to standard-error.

-vf Same as -v, but in addition various debugging information and information
reflecting some details of the analysis done by gnatelim are printed to
standard-error.

-a Process RTL components: by default, gnatelim does not analyze the units which are
the components of the GNAT Run-Time Library (RTL), and it does not generate
Eliminate pragmas for subprograms declared in the RTL. If '-a' option is set, RTL
components are also analyzed (except some units, which contains subprograms
implicitly called by the compiler).

-m Check missed units: if this option is set, gnatelim checks that all the units which
(according to the bind file) has to be analyzed by gnatelim are really represented
by the set of tree files processed by gnatelim (depending on whether or not '-a'
option is set). By default (that is, if '-m' option is not set), gnatelim analyzes
a set of units represented by a given set of tree files "as is" (excluding library
packages which require bodies, but for which bodies are not available).

Use gnatelim online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    OrangeFox
    OrangeFox
    Fork of TeamWinRecoveryProject(TWRP)
    with many additional functions, redesign
    and more Features:Supports Treble and
    non-Treble ROMsUp-to-date Oreo kernel,
    built...
    Download OrangeFox
  • 2
    itop - ITSM  CMDB OpenSource
    itop - ITSM CMDB OpenSource
    IT Operations Portal: a complete open
    source, ITIL, web based service
    management tool including a fully
    customizable CMDB, a helpdesk system and
    a document man...
    Download itop - ITSM CMDB OpenSource
  • 3
    Clementine
    Clementine
    Clementine is a multi-platform music
    player and library organizer inspired by
    Amarok 1.4. It has a fast and
    easy-to-use interface, and allows you to
    search and ...
    Download Clementine
  • 4
    XISMuS
    XISMuS
    ATTENTION: Cumulative update 2.4.3 has
    been released!! The update works for any
    previous 2.x.x version. If upgrading
    from version v1.x.x, please download and
    i...
    Download XISMuS
  • 5
    facetracknoir
    facetracknoir
    Modular headtracking program that
    supports multiple face-trackers, filters
    and game-protocols. Among the trackers
    are the SM FaceAPI, AIC Inertial Head
    Tracker ...
    Download facetracknoir
  • 6
    PHP QR Code
    PHP QR Code
    PHP QR Code is open source (LGPL)
    library for generating QR Code,
    2-dimensional barcode. Based on
    libqrencode C library, provides API for
    creating QR Code barc...
    Download PHP QR Code
  • 7
    Cuckoo Sandbox
    Cuckoo Sandbox
    Cuckoo Sandbox uses components to
    monitor the behavior of malware in a
    Sandbox environment; isolated from the
    rest of the system. It offers automated
    analysis o...
    Download Cuckoo Sandbox
  • More »

Linux commands

  • 1
    acl_gran
    acl_gran
    rsbac-admin - Rule Set Based Access
    Control DESCRIPTION: rsbac-admin is a
    set of tool used to manage systems using
    a Rule Set Based Access Control (RSBAC)
    kern...
    Run acl_gran
  • 2
    acl_grant
    acl_grant
    rsbac-admin - Rule Set Based Access
    Control DESCRIPTION: rsbac-admin is a
    set of tool used to manage systems using
    a Rule Set Based Access Control (RSBAC)
    kern...
    Run acl_grant
  • 3
    cpupower-idle-set
    cpupower-idle-set
    cpupower idle-set - Utility to set cpu
    idle state specific kernel options
    SYNTAX: cpupower [ -c cpulist ]
    idle-info [options] DESCRIPTION: The
    cpupower idle-se...
    Run cpupower-idle-set
  • 4
    cpupower-info
    cpupower-info
    cpupower-info - Shows processor power
    related kernel or hardware
    configurations ...
    Run cpupower-info
  • 5
    g15daemon
    g15daemon
    g15daemon - provides access to extra
    keys and the LCD available on the
    logitech G15 keyboard. DESCRIPTION:
    G15Daemon allows users access to all
    extra keys by d...
    Run g15daemon
  • 6
    g15ladi
    g15ladi
    laditools - tools to control and
    monitor LADI (JACK and ladish) systems ...
    Run g15ladi
  • More »

Ad