Bug 135321

Code model should take into account pragma weak.
Code example:
---------------------------
#include <stdio.h>
#include <string.h>
#include <stdlib.h>

#pragma weak foo=_foo
void _foo(){
    printf("Arguments:\n");
}

int main(int argc, char**argv) {
    foo();
    for (int i = 0; i < argc; i++) {
        printf("%i: %s\n", i, argv[i]);
    }
    return 0;
}
---------------------------
Hyper link from function call foo() doesn't work.
Open Solaris project has many such code.
For example libc has definition of pthread_spin_init in source usr/src/lib/libc/port/threads/synch.c
---------------------------
#pragma weak pthread_spin_init = _pthread_spin_init
int
_pthread_spin_init(pthread_spinlock_t *lock, int pshared)
{
  ...
}
---------------------------
Header file pthread.h declares:
---------------------------
extern int pthread_spin_lock(pthread_spinlock_t *);
---------------------------