Changes in / [6d5da743:7cd15b9] in mainline


Ignore:
Files:
1 deleted
20 edited

Legend:

Unmodified
Added
Removed

  • Makefile

    r6d5da743 r7cd15b9  
    9191        $(CONFIG) $<
    9292
    93 random-config: $(CONFIG_RULES)
    94         $(CONFIG) $< random
    95 
    9693# Release files
    9794

  • kernel/arch/mips32/src/debugger.c

    r6d5da743 r7cd15b9  
    9797        .argv = adde_argv
    9898};
    99 #endif
    10099
    101100static struct {
    … …  
    148147}
    149148
    150 #ifdef CONFIG_KCONSOLE
    151 
    152149/** Add new breakpoint to table
    153150 *

  • kernel/arch/sparc64/src/drivers/kbd.c

    r6d5da743 r7cd15b9  
    9090        size_t size = ((ofw_ebus_reg_t *) prop->value)->size;
    9191       
    92         uintptr_t pa = 0; // Prevent -Werror=maybe-uninitialized
     92        uintptr_t pa;
    9393        if (!ofw_ebus_apply_ranges(node->parent,
    9494            ((ofw_ebus_reg_t *) prop->value), &pa)) {

  • kernel/arch/sparc64/src/smp/sun4v/smp.c

    r6d5da743 r7cd15b9  
    263263                while (md_next_child(&it)) {
    264264                        md_node_t child = md_get_child_node(it);
    265                         const char *exec_unit_type = "";
     265                        const char *exec_unit_type;
    266266                        md_get_string_property(child, "type", &exec_unit_type);
    267267

  • kernel/genarch/include/genarch/softint/division.h

    r6d5da743 r7cd15b9  
    3636#define KERN_DIVISION_H_
    3737
    38 #include <cc.h>
    39 
    40 #ifdef CONFIG_LTO
    41 #define DO_NOT_DISCARD ATTRIBUTE_USED
    42 #else
    43 #define DO_NOT_DISCARD
    44 #endif
    45 
    4638extern int __divsi3(int, int);
    4739extern long long __divdi3(long long, long long);
    4840
    4941extern unsigned int __udivsi3(unsigned int, unsigned int);
    50 extern unsigned long long __udivdi3(unsigned long long, unsigned long long) DO_NOT_DISCARD;
     42extern unsigned long long __udivdi3(unsigned long long, unsigned long long);
    5143
    5244extern int __modsi3(int, int);
    … …  
    5446
    5547extern unsigned int __umodsi3(unsigned int, unsigned int);
    56 extern unsigned long long __umoddi3(unsigned long long, unsigned long long) DO_NOT_DISCARD;
     48extern unsigned long long __umoddi3(unsigned long long, unsigned long long);
    5749
    5850extern int __divmodsi3(int, int, int *);

  • kernel/generic/include/cc.h

    r6d5da743 r7cd15b9  
    4040#define ATTRIBUTE_OPTIMIZE(opt) \
    4141        __attribute__ ((optimize(opt)))
    42 #define ATTRIBUTE_USED \
    43         __attribute__ ((used))
    4442#else
    4543#define ATTRIBUTE_OPTIMIZE(opt)
    46 #define ATTRIBUTE_USED
    4744#endif
    4845

  • kernel/generic/include/debug.h

    r6d5da743 r7cd15b9  
    3737
    3838#include <panic.h>
    39 #include <log.h>
    4039#include <symtab_lookup.h>
    4140

  • kernel/generic/include/lib/memfnc.h

    r6d5da743 r7cd15b9  
    3939#include <cc.h>
    4040
    41 #ifdef CONFIG_LTO
    42 #define DO_NOT_DISCARD ATTRIBUTE_USED
    43 #else
    44 #define DO_NOT_DISCARD
    45 #endif
    46 
    4741extern void *memset(void *, int, size_t)
    48     ATTRIBUTE_OPTIMIZE("-fno-tree-loop-distribute-patterns") DO_NOT_DISCARD;
     42    ATTRIBUTE_OPTIMIZE("-fno-tree-loop-distribute-patterns");
    4943extern void *memcpy(void *, const void *, size_t)
    50     ATTRIBUTE_OPTIMIZE("-fno-tree-loop-distribute-patterns") DO_NOT_DISCARD;
     44    ATTRIBUTE_OPTIMIZE("-fno-tree-loop-distribute-patterns");
    5145
    5246#endif

  • kernel/generic/include/memstr.h

    r6d5da743 r7cd15b9  
    3737
    3838#include <typedefs.h>
    39 #include <cc.h>
    40 
    41 #ifdef CONFIG_LTO
    42 #define DO_NOT_DISCARD ATTRIBUTE_USED
    43 #else
    44 #define DO_NOT_DISCARD
    45 #endif
    4639
    4740#define memset(dst, val, cnt)  __builtin_memset((dst), (val), (cnt))
    … …  
    5043extern void memsetb(void *, size_t, uint8_t);
    5144extern void memsetw(void *, size_t, uint16_t);
    52 extern void *memmove(void *, const void *, size_t) DO_NOT_DISCARD;
     45extern void *memmove(void *, const void *, size_t);
    5346
    5447#endif

  • kernel/generic/src/console/cmd.c

    r6d5da743 r7cd15b9  
    11491149int cmd_set4(cmd_arg_t *argv)
    11501150{
    1151         uintptr_t addr = 0; // Prevent -Werror=maybe-uninitialized
     1151        uintptr_t addr;
    11521152        uint32_t arg1 = argv[1].intval;
    11531153        bool pointer = false;

  • kernel/generic/src/mm/as.c

    r6d5da743 r7cd15b9  
    17251725        ASSERT(count);
    17261726       
    1727         btree_node_t *leaf = NULL;
     1727        btree_node_t *leaf;
    17281728        size_t pages = (size_t) btree_search(&area->used_space, page, &leaf);
    17291729        if (pages) {
    … …  
    17331733                return false;
    17341734        }
    1735 
    1736         ASSERT(leaf != NULL);
    17371735       
    17381736        if (!leaf->keys) {

  • kernel/generic/src/mm/frame.c

    r6d5da743 r7cd15b9  
    391391       
    392392        /* Allocate frames from zone */
    393         size_t index = (size_t) -1;
     393        size_t index;
    394394        int avail = bitmap_allocate_range(&zone->bitmap, count, zone->base,
    395395            FRAME_LOWPRIO, constraint, &index);
    396396       
    397397        ASSERT(avail);
    398         ASSERT(index != (size_t) -1);
    399398       
    400399        /* Update frame reference count */

  • kernel/generic/src/udebug/udebug_ipc.c

    r6d5da743 r7cd15b9  
    343343        sysarg_t uspace_addr;
    344344        sysarg_t to_copy;
    345         void *buffer = NULL;
     345        void *buffer;
    346346        int rc;
    347347
    … …  
    354354                return;
    355355        }
    356 
    357         ASSERT(buffer != NULL);
    358356
    359357        /*
    … …  
    387385        sysarg_t uspace_src;
    388386        unsigned size;
    389         void *buffer = NULL;
     387        void *buffer;
    390388        int rc;
    391389
    … …  
    400398                return;
    401399        }
    402 
    403         ASSERT(buffer != NULL);
    404400
    405401        IPC_SET_RETVAL(call->data, 0);

  • tools/config.py

    r6d5da743 r7cd15b9  
    4040import subprocess
    4141import xtui
    42 import random
    4342
    4443RULES_FILE = sys.argv[1]
    … …  
    257256       
    258257        return True
    259 
    260 ## Fill the configuration with random (but valid) values.
    261 #
    262 # The random selection takes next rule and if the condition does
    263 # not violate existing configuration, random value of the variable
    264 # is selected.
    265 # This happens recursively as long as there are more rules.
    266 # If a conflict is found, we backtrack and try other settings of the
    267 # variable or ignoring the variable altogether.
    268 #
    269 # @param config Configuration to work on
    270 # @param rules  Rules
    271 # @param start_index With which rule to start (initial call must specify 0 here).
    272 # @return True if able to find a valid configuration
    273 def random_choices(config, rules, start_index):
    274         "Fill the configuration with random (but valid) values."
    275         if start_index >= len(rules):
    276                 return True
    277        
    278         varname, vartype, name, choices, cond = rules[start_index]
    279 
    280         # First check that this rule would make sense   
    281         if cond:
    282                 if not check_condition(cond, config, rules):
    283                         return random_choices(config, rules, start_index + 1)
    284        
    285         # Remember previous choices for backtracking
    286         yes_no = 0
    287         choices_indexes = range(0, len(choices))
    288         random.shuffle(choices_indexes)
    289        
    290         # Remember current configuration value
    291         old_value = None
    292         try:
    293                 old_value = config[varname]
    294         except KeyError:
    295                 old_value = None
    296        
    297         # For yes/no choices, we ran the loop at most 2 times, for select
    298         # choices as many times as there are options.
    299         try_counter = 0
    300         while True:
    301                 if vartype == 'choice':
    302                         if try_counter >= len(choices_indexes):
    303                                 break
    304                         value = choices[choices_indexes[try_counter]][0]
    305                 elif vartype == 'y' or vartype == 'n':
    306                         if try_counter > 0:
    307                                 break
    308                         value = vartype
    309                 elif vartype == 'y/n' or vartype == 'n/y':
    310                         if try_counter == 0:
    311                                 yes_no = random.randint(0, 1)
    312                         elif try_counter == 1:
    313                                 yes_no = 1 - yes_no
    314                         else:
    315                                 break
    316                         if yes_no == 0:
    317                                 value = 'n'
    318                         else:
    319                                 value = 'y'
    320                 else:
    321                         raise RuntimeError("Unknown variable type: %s" % vartype)
    322        
    323                 config[varname] = value
    324                
    325                 ok = random_choices(config, rules, start_index + 1)
    326                 if ok:
    327                         return True
    328                
    329                 try_counter = try_counter + 1
    330        
    331         # Restore the old value and backtrack
    332         # (need to delete to prevent "ghost" variables that do not exist under
    333         # certain configurations)
    334         config[varname] = old_value
    335         if old_value is None:
    336                 del config[varname]
    337        
    338         return random_choices(config, rules, start_index + 1)
    339        
    340258
    341259## Get default value from a rule.
    … …  
    637555                return 1
    638556       
    639         # Random mode
    640         if (len(sys.argv) == 3) and (sys.argv[2] == 'random'):
    641                 ok = random_choices(config, rules, 0)
    642                 if not ok:
    643                         sys.stderr.write("Internal error: unable to generate random config.\n")
    644                         return 2
    645                 if not infer_verify_choices(config, rules):
    646                         sys.stderr.write("Internal error: random configuration not consistent.\n")
    647                         return 2
    648                 preprocess_config(config, rules)
    649                 create_output(MAKEFILE, MACROS, config, rules)
    650                
    651                 return 0       
    652        
    653557        screen = xtui.screen_init()
    654558        try:

  • uspace/drv/bus/pci/pciintel/pci.c

    r6d5da743 r7cd15b9  
    284284        const uint32_t conf_addr = CONF_ADDR(fun->bus, fun->dev, fun->fn, reg);
    285285        pci_bus_t *bus = pci_bus_from_fun(fun);
    286         uint32_t val = 0; // Prevent -Werror=maybe-uninitialized
     286        uint32_t val;
    287287       
    288288        fibril_mutex_lock(&bus->conf_mutex);

  • uspace/lib/softint/generic/shift.c

    r6d5da743 r7cd15b9  
    128128}
    129129
    130 long long __aeabi_llsr(long long val, int shift)
    131 {
    132         return __lshrdi3(val, shift);
    133 }
    134 
    135130/** @}
    136131 */

  • uspace/lib/softint/include/shift.h

    r6d5da743 r7cd15b9  
    4949/* ARM EABI */
    5050extern long long __aeabi_llsl(long long, int);
    51 extern long long __aeabi_llsr(long long, int);
    5251
    5352#endif

  • uspace/srv/net/dhcp/transport.c

    r6d5da743 r7cd15b9  
    172172        dhcp_transport_t *dt = (dhcp_transport_t *)arg;
    173173        void *msg;
    174         size_t size = (size_t) -1;
     174        size_t size;
    175175        int rc;
    176176
    … …  
    179179                if (rc != EOK)
    180180                        break;
    181 
    182                 assert(size != (size_t) -1);
    183181
    184182                dt->recv_cb(dt->cb_arg, msg, size);

  • uspace/srv/net/dnsrsrv/dns_msg.c

    r6d5da743 r7cd15b9  
    487487        size_t size;
    488488        dns_header_t hdr;
    489         size_t q_size = 0;
     489        size_t q_size;
    490490        size_t di;
    491491        int rc;
    … …  
    515515                        return rc;
    516516
    517                 assert(q_size > 0);
    518 
    519517                size += q_size;
    520518        }
    … …  
    534532                        return rc;
    535533                }
    536 
    537                 assert(q_size > 0);
    538534
    539535                di += q_size;

  • uspace/srv/net/dnsrsrv/transport.c

    r6d5da743 r7cd15b9  
    286286static int transport_recv_fibril(void *arg)
    287287{
    288         dns_message_t *resp = NULL;
     288        dns_message_t *resp;
    289289        trans_req_t *treq;
    290290        int rc;
    … …  
    294294                if (rc != EOK)
    295295                        continue;
    296 
    297                 assert(resp != NULL);
    298296
    299297                fibril_mutex_lock(&treq_lock);
Note: See TracChangeset for help on using the changeset viewer.